UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo
Login | Create Account

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
Number of items: 3.

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 Mon Apr 29 13:49:56 2024 CEST.
EPrints Logo
UnipiEprints is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.