Search Sciweavers | Sciweavers

612 search results - page 47 / 123

» A Computational Grammar for Georgian

206

click to vote

RTA
2011
Springer

207views Theoretical Computer Science» more RTA 2011»

Maximal Completion

14 years 9 months ago

Download www.jaist.ac.jp

Given an equational system, completion procedures compute an equivalent and complete (terminating and conﬂuent) term rewrite system. We present a very simple and eﬃcient compl...

Dominik Klein, Nao Hirokawa

claim paper

Read More »

128

click to vote

ICSOC
2009
Springer

129views Applied Computing» more ICSOC 2009»

Generating Interface Grammars from WSDL for Automated Verification of Web Services

16 years 20 days ago

Download www.cs.ucsb.edu

Sylvain Hallé, Graham Hughes, Tevfik Bultan...

claim paper

Read More »

140

click to vote

COORDINATION
1997
Springer

98views Distributed And Parallel Com...» more COORDINATION 1997»

Modeling Railway Control Systems Using Graph Grammars: A Case Study

15 years 10 months ago

Download hal.archives-ouvertes.fr

A. A. Holzbacher, M. Périn, Mario Südh...

claim paper

Read More »

114

click to vote

GG
1997
Springer

97views Theoretical Computer Science» more GG 1997»

Hyperedge Replacement, Graph Grammars

15 years 10 months ago

Download www.informatik.uni-bremen.de

Frank Drewes, Hans-Jörg Kreowski, Annegret Ha...

claim paper

Read More »

102

click to vote

GG
1990
Springer

62views Theoretical Computer Science» more GG 1990»

Use Graph Grammars to Design CAD-Systems!

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers