Sciweavers

108 search results - page 7 / 22
» iandc 2006
Sort
View
IANDC
2010
45views more  IANDC 2010»
14 years 8 months ago
Models of active learning in group-structured state spaces
Gábor Bartók, Csaba Szepesvár...
IANDC
2006
67views more  IANDC 2006»
14 years 9 months ago
Decision procedures for term algebras with integer constraints
Ting Zhang, Henny B. Sipma, Zohar Manna
IANDC
2006
69views more  IANDC 2006»
14 years 9 months ago
Logics of communication and change
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
IANDC
2007
62views more  IANDC 2007»
14 years 9 months ago
Unfolding semantics of graph transformation
Paolo Baldan, Andrea Corradini, Ugo Montanari, Lei...
IANDC
2000
64views more  IANDC 2000»
14 years 9 months ago
Bisimilarity in Term Graph Rewriting
Zena M. Ariola, Jan Willem Klop, Detlef Plump