Sciweavers

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