Sciweavers

612 search results - page 47 / 123
» A Computational Grammar for Georgian
Sort
View
RTA
2011
Springer
14 years 4 months ago
Maximal Completion
Given an equational system, completion procedures compute an equivalent and complete (terminating and confluent) term rewrite system. We present a very simple and efficient compl...
Dominik Klein, Nao Hirokawa
ICSOC
2009
Springer
15 years 8 months ago
Generating Interface Grammars from WSDL for Automated Verification of Web Services
Sylvain Hallé, Graham Hughes, Tevfik Bultan...
GG
1997
Springer
15 years 5 months ago
Hyperedge Replacement, Graph Grammars
Frank Drewes, Hans-Jörg Kreowski, Annegret Ha...
GG
1990
Springer
15 years 5 months ago
Use Graph Grammars to Design CAD-Systems!
Herbert Göttler, Joachim Günther, Georg ...