Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "RULE@PLI"( http://dblp.L3S.de/Venues/RULE@PLI )

URL (DBLP): http://dblp.uni-trier.de/db/journals/tcs

Publication years (Num. hits)
2001 (11)
Publication types (Num. hits)
inproceedings(11)
Venues (Conferences, Journals, ...)
RULE@PLI(11)
Authors
Bernd Fischer 0002(1) Berthold Hoffmann(1) Eelco Visser(1) Ekawit Nantajeewarawat(1) Evelina Lamma(1) Fabrizio Riguzzi(1) Georg Struth(1) Grigore Rosu(1) Hidekatsu Koike(1) Jean-Louis Giavitto(1) Jean-Yves Moyen(1) Kiyoshi Akama(1) L. Maestrami(1) Lasse R. Nielsen(1) Mark Minas(1) Mark van den Brand(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Eelco Visser Scoped Dynamic Rewrite Rules. Search on Bibsonomy RULE@PLI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jean-Yves Moyen System Presentation: An Analyser of Rewriting Systems Complexity. Search on Bibsonomy RULE@PLI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Quang Huy Nguyen 0002 Certifying Term Rewriting Proofs in ELAN. Search on Bibsonomy RULE@PLI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. Search on Bibsonomy RULE@PLI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Berthold Hoffmann, Mark Minas Transformation of Shaped Nested Graphs and Diagrams. Search on Bibsonomy RULE@PLI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mark van den Brand, Rakesh M. Verma RULE2001 - Foreword. Search on Bibsonomy RULE@PLI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Olivier Danvy, Lasse R. Nielsen Syntactic Theories in Practice. Search on Bibsonomy RULE@PLI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. Search on Bibsonomy RULE@PLI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jean-Louis Giavitto, Olivier Michel 0001 MGS: a Rule-Based Programming Language for Complex Objects and Collections. Search on Bibsonomy RULE@PLI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Georg Struth Knuth-Bendix Completion for Non-Symmetric Transitive Relations. Search on Bibsonomy RULE@PLI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002, Grigore Rosu Interpreting Abstract Interpretations in Membership Equational Logic. Search on Bibsonomy RULE@PLI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license