UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Author is "Viry, Patrick"

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

Book

Viry, Patrick (1996) A Rewriting Implementation of pi-calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Viry, Patrick (1995) Elimination of Conditions. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Viry, Patrick (1995) Rewriting modulo a rewrite system. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Thu Mar 28 05:33:41 2024 CET.