Sciweavers

49 search results - page 2 / 10
» jirs 2008
Sort
View
IANDC
2008
83views more  IANDC 2008»
14 years 11 months ago
Bases for parametrized iterativity
Jirí Adámek, Stefan Milius, Jiri Vel...
JACM
2008
43views more  JACM 2008»
14 years 11 months ago
Undecidability of bisimilarity by defender's forcing
Petr Jancar, Jirí Srba
COMBINATORICA
2004
100views more  COMBINATORICA 2004»
14 years 11 months ago
A Combinatorial Proof of Kneser's Conjecture
Jirí Matousek