Sciweavers

Share
2 search results - page 1 / 1
» Recognizability, hypergraph operations, and logical types
Sort
View
IANDC
2006
82views more  IANDC 2006»
8 years 9 months ago
Recognizability, hypergraph operations, and logical types
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
Achim Blumensath, Bruno Courcelle
PPDP
2009
Springer
9 years 3 months ago
An embedded declarative data transformation language
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
Paul Tarau
books