Sciweavers

22 search results - page 1 / 5
» jacm 2008
Sort
View
JACM
2008
50views more  JACM 2008»
15 years 12 days ago
Homomorphism preservation theorems
Benjamin Rossman
JACM
2007
87views more  JACM 2007»
15 years 9 days ago
A testing scenario for probabilistic processes
Ling Cheung, Mariëlle Stoelinga, Frits W. Vaa...
JACM
2008
43views more  JACM 2008»
15 years 12 days ago
Undecidability of bisimilarity by defender's forcing
Petr Jancar, Jirí Srba