Sciweavers

39 search results - page 2 / 8
» iandc 2008
Sort
View
IANDC
2008
81views more  IANDC 2008»
14 years 12 months ago
Complexity of DNF minimization and isomorphism testing for monotone formulas
Judy Goldsmith, Matthias Hagen, Martin Mundhenk
IANDC
2008
76views more  IANDC 2008»
14 years 12 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»
14 years 12 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»
14 years 12 months ago
Bases for parametrized iterativity
Jirí Adámek, Stefan Milius, Jiri Vel...
IANDC
2008
75views more  IANDC 2008»
14 years 12 months ago
On finite alphabets and infinite bases
Taolue Chen, Wan Fokkink, Bas Luttik, Sumit Nain