|
|
|
|
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.  |
CTRS  |
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 |
CTRS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Wadoud Bousdira, Jean-Luc Rémy |
Hierarchical Contextual Rewriting with Several Levels. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Chilukuri K. Mohan, Mandayam K. Srivas |
Conditional Specification with Inequational Assumptions. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar |
Confluence of Conditional Rewrite Systems. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Irène Guessarian |
Equational Axiomatizations of If-Then-Else. |
CTRS |
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. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz, G. Sivakumar |
Solving Goals in Equational Languages. |
CTRS |
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. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Plaisted |
A Logic for Conditional Term Rewriting Systems. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Kaplan |
Positive/Negative Conditional Rewriting. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Ganzinger |
A Completion Procedure for Conditional Equations. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Elio Giovannetti, Corrado Moiso |
Notes on the Elimination of Conditions. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, W. P. Weijland |
Semantics for Prolog via Term Rewrite Systems. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshihito Toyama |
Confluent Term Rewriting Systems with Membership Conditions. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Hußmann |
The Passau RAP System: Rapid Prototyping for Algebraic Specifications. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Pelin |
Computing with Conditional Rewrite Rules. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Rush, Derek Coleman |
Architecture for Conditional Term Rewriting. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Bertling, Harald Ganzinger, Renate Schäfers |
A Systems for the Completion of Conditional Equational Specifications. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitsuhiro Okada |
A Logical Analysis on Theory of Conditional Rewriting. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Fribourg |
On the Use of Conditional Rewrite Rules in Inductive Theorem Proving. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Heuillard |
Compiling Conditional Rewriting Systems. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Geser, Heinrich Hußmann, Andreas Mück |
A Compiler for a Class of Conditional Term Rewriting Systems. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Kounalis, Michaël Rusinowitch |
On Word Problems in Horn Theories. |
CTRS |
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. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Wadoud Bousdira, Jean-Luc Rémy |
REVEUR4: A Laboratory for Conditional Rewriting. |
CTRS |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #126 of 126 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license