|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Günter Kniesel, Jorge Sousa Pinto (eds.) |
Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008  |
RULE  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rodrigo Machado, Reiko Heckel, Leila Ribeiro 0001 |
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abubakar Hassan, Eugen Jiresch, Shinya Sato |
An Implementation of Nested Pattern Matching in Interaction Nets |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares |
A Type System for Tom |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty |
An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Boyer, Thomas Genet |
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Mackie, Anamaria Martins Moreira (eds.) |
Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009. |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández, Olivier Namet |
Graph Creation, Visualisation and Transformation |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi |
Object-oriented Programming Laws for Annotated Java Programs |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Detlef Plump, Sandra Steinert |
The Semantics of Graph Programs |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marcos 0001 |
Automatic Generation of Proof Tactics for Finite-Valued Logics |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rakesh M. Verma |
New Undecidability Results for Properties of Term Rewrite Systems. |
RULE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, José Meseguer 0001 |
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. |
RULE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago L. Alves, Paulo F. Silva 0001, Joost Visser 0001 |
Constraint-aware Schema Transformation. |
RULE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Hills 0001, Feng Chen 0006, Grigore Rosu |
A Rewriting Logic Approach to Static Checking of Units of Measurement in C. |
RULE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joe Hendrix, José Meseguer 0001 |
Order-sorted Equational Unification Revisited. |
RULE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Kniesel, Jorge Sousa Pinto |
Preface. |
RULE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Slim Abdennadher, Christophe Ringeissen (eds.) |
Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004 |
RULE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jean-Louis Giavitto, Pierre-Etienne Moreau (eds.) |
4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003 |
RULE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mark van den Brand, Rakesh M. Verma (eds.) |
Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001 |
RULE |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license