On the Finitary Bisimulation (1995)

by RS-95-59 Luca Aceto, Anna Ingólfsdóttir
Venue:Nils Klarlund, Madhavan Mukund, and Milind Sohoni
Add To MetaCart
Results 1 - 2 of 2

Gödelisation in the λ-Calculus

by Mayer Goldberg , 1996
"... Gödelisation is a meta-linguistic encoding of terms in a language. While it is ..."
Abstract - Cited by 4 (1 self) - Add to MetaCart
Gödelisation is a meta-linguistic encoding of terms in a language. While it is

Automata to Logic - and

by Back January Pp, Gudmund Skovbjerg Fr, Thore Husfeldt, Peter Bro Miltersen
"... appeared in Engberg, Larsen, and Mosses, editors, 6th Nordic Workshop on Programming Theory, NWPT '6 Proceedings, 1994, pages 444--447. ..."
Abstract - Add to MetaCart
appeared in Engberg, Larsen, and Mosses, editors, 6th Nordic Workshop on Programming Theory, NWPT '6 Proceedings, 1994, pages 444--447.