Items where Author is "Viry, Patrick"
Group by: Item Type | No Grouping Jump to: Book Number of items: 3. BookViry, 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. |