|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 126 publication records. Showing 126 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | José Meseguer 0001 |
Conditional Rewriting Logic: Deduction, Models and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings, pp. 64-91, 1990, Springer, 3-540-54317-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Kaplan, Jean-Pierre Jouannaud (eds.) |
Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![Springer, 3-540-19242-5 The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Wadoud Bousdira, Jean-Luc Rémy |
Hierarchical Contextual Rewriting with Several Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 15-30, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Chilukuri K. Mohan, Mandayam K. Srivas |
Conditional Specification with Inequational Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 161-178, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar |
Confluence of Conditional Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 31-44, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Irène Guessarian |
Equational Axiomatizations of If-Then-Else. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 98-110, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer 0001, Timothy C. Winkler |
An Introduction to OBJ 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 258-263, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz, G. Sivakumar |
Solving Goals in Equational Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 45-55, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin |
ASSPEGIQUE: An Integrated Specification Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 251-252, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | David A. Plaisted |
A Logic for Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 212-227, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Kaplan |
Positive/Negative Conditional Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 129-143, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger |
A Completion Procedure for Conditional Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 62-83, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Elio Giovannetti, Corrado Moiso |
Notes on the Elimination of Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 91-97, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten, W. P. Weijland |
Semantics for Prolog via Term Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 3-14, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihito Toyama |
Confluent Term Rewriting Systems with Membership Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 228-241, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Hußmann |
The Passau RAP System: Rapid Prototyping for Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 264-265, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Alex Pelin |
Computing with Conditional Rewrite Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 197-211, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Tony Rush, Derek Coleman |
Architecture for Conditional Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 266-278, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Bertling, Harald Ganzinger, Renate Schäfers |
A Systems for the Completion of Conditional Equational Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 249-250, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Mitsuhiro Okada |
A Logical Analysis on Theory of Conditional Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 179-196, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Fribourg |
On the Use of Conditional Rewrite Rules in Inductive Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 56-61, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Heuillard |
Compiling Conditional Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 111-128, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Alfons Geser, Heinrich Hußmann, Andreas Mück |
A Compiler for a Class of Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 84-90, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Kounalis, Michaël Rusinowitch |
On Word Problems in Horn Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 144-160, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Avenhaus, Richard Göbel, Bernhard Gramlich, Klaus Madlener, Joachim Steinbach |
TRSPEC: A Term Rewriting Based System for Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 245-248, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Wadoud Bousdira, Jean-Luc Rémy |
REVEUR4: A Laboratory for Conditional Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTRS ![In: Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings, pp. 253-257, 1987, Springer, 3-540-19242-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #126 of 126 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|