UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Division is "Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA" and Year is 1998

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | No Grouping
Number of items: 13.

Bini, D. A. and Gemignani, Luca and Meini, B. (1998) Factorization of Analytic Functions by means of Koenig's Theorem and Toeplitz Computations. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brandano, S. (1998) A Logic-Based Calculus of Fluents. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and Meseguer, J. and Montanari, Ugo (1998) Process and Term Tile Logic. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cisternino, Antonio and Laganà, Maria Rita (1998) The YALL language. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Corradini, Andrea and Gadducci, Fabio (1998) Rewriting on cyclic structures. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio (1998) Generalized Bundle Methods. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gallo, Giorgio and Scaparra, Maria Paola (1998) Routing with Minimum Fragmentation Cost. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gallo, Giorgio and Scutellà, Maria Grazia (1998) Minimum Makespan Assembly Plans. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Montanari, Ugo and Pistore, Marco (1998) History-Dependent Automata. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Montangero, Carlo and Semini, Laura (1998) Composing specifications for coordination. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Nguyen, S. and Pallottino, Stefano and Malucelli, Federico (1998) A modeling framework for the passenger assignment on a transport network with time-tables. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallotta, Vincenzo and Turini, Franco (1998) Towards a Fluent Logic Programming. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ruggieri, Salvatore (1998) $\exists$-universal termination of logic programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Mon Mar 18 20:37:27 2024 CET.