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] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type | No Grouping
Jump to: B | C | F | G | M | N | P | R
Number of items: 13.

B

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.

C

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.

F

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

G

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.

M

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.

N

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.

P

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

R

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 Sep 25 00:01:08 2017 CEST.