Sciweavers

39 search results - page 2 / 8
» iandc 2008
Sort
View
IANDC
2008
81views more  IANDC 2008»
13 years 4 months ago
Complexity of DNF minimization and isomorphism testing for monotone formulas
Judy Goldsmith, Matthias Hagen, Martin Mundhenk
IANDC
2008
76views more  IANDC 2008»
13 years 4 months ago
A framework for the verification of infinite-state graph transformation systems
Paolo Baldan, Andrea Corradini, Barbara König
IANDC
2008
68views more  IANDC 2008»
13 years 4 months ago
A characterization of flip-accessibility for rhombus tilings of the whole plane
Olivier Bodini, Thomas Fernique, Eric Rémil...
IANDC
2008
83views more  IANDC 2008»
13 years 4 months ago
Bases for parametrized iterativity
Jirí Adámek, Stefan Milius, Jiri Vel...
IANDC
2008
75views more  IANDC 2008»
13 years 4 months ago
On finite alphabets and infinite bases
Taolue Chen, Wan Fokkink, Bas Luttik, Sumit Nain