Sciweavers

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