The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase rewriting-calculus (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1993-2003 (18) 2004-2007 (16) 2008-2010 (5)
Publication types (Num. hits)
article(9) book(1) inproceedings(25) phdthesis(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22 occurrences of 20 keywords

Results
Found 39 publication records. Showing 39 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
121Horatiu Cirstea, Luigi Liquori, Benjamin Wack Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rewriting-calculus, Object-calculus, Pattern Mat-ching, Lambda-calculus, Type Theory, Fixpoints
104Clara Bertolissi, Horatiu Cirstea, Claude Kirchner Expressing combinatory reduction systems derivations in the rewriting calculus. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Rewriting calculus, Combinatory reduction systems, Matching
81Clara Bertolissi, Claude Kirchner The Rewriting Calculus as a Combinatory Reduction System. Search on Bibsonomy FoSSaCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
66Clara Bertolissi The Graph Rewriting Calculus: Confluence and Expressiveness. Search on Bibsonomy ICTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
63Luigi Liquori, Bernard P. Serpette iRho: an imperative rewriting calculus. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics
52Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning. Search on Bibsonomy DISCO The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Horatiu Cirstea, Claude Kirchner, Luigi Liquori The Rho Cube. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48Su Feng Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automated formal proving, cover-set induction, dynamic term rewriting calculus, weakly ground termination, term rewriting system
45Horatiu Cirstea, Claude Kirchner, Luigi Liquori Matching Power. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
44Germain Faure, Claude Kirchner Exceptions in the Rewriting Calculus. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Oana Andrei, Hélène Kirchner A Higher-Order Graph Calculus for Autonomic Computing. Search on Bibsonomy Graph Theory, Computational Intelligence and Thought The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen 0002 Proof Search and Proof Check for Equational and Inductive Theorems. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF proof terms, computation, induction, automated theorem proving, deduction, rewrite rules, proof assistant
21Horatiu Cirstea, Germain Faure, Claude Kirchner A rho-calculus of explicit constraint application. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Rewriting calculus, Explicit matching, Pattern matching, Explicit substitution
20Vincent Danos, Cosimo Laneve Graphs for Core Molecular Biology. Search on Bibsonomy CMSB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Horatiu Cirstea Le calcul de réécriture. (The rewriting calculus). Search on Bibsonomy 2010   RDF
19Paolo Baldan, Clara Bertolissi Sharing in the Graph Rewriting Calculus. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Luigi Liquori, Bernard P. Serpette iRho: an imperative rewriting calculus. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Oana Andrei A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems. (Un calcul de réécriture de graphes : applications à la biologie et aux systèmes autonomes). Search on Bibsonomy 2008   RDF
19Oana Andrei, Hélène Kirchner A Rewriting Calculus for Multigraphs with Ports. Search on Bibsonomy RULE@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner Towards a Sharing Strategy for the Graph Rewriting Calculus. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner A rewriting calculus for cyclic higher-order term graphs. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot From Functional Programs to Interaction Nets via the Rewriting Calculus. Search on Bibsonomy WRS@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Clara Bertolissi The graph rewriting calculus: properties and expressive capabilities. Search on Bibsonomy 2005   RDF
19Benjamin Wack Typage et déduction dans le calcul de réécriture. (Type systems and deduction in the rewriting calculus). Search on Bibsonomy 2005   RDF
19Aaron Stump, Carsten Schürmann Logical Semantics for the Rewriting Calculus. Search on Bibsonomy STRATEGIES@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Luigi Liquori, Benjamin Wack The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. Search on Bibsonomy WRLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner A Rewriting Calculus for Cyclic Higher-order Term Graphs. Search on Bibsonomy TERMGRAPH The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Clara Bertolissi, Horatiu Cirstea, Claude Kirchner Translating Combinatory Reduction Systems into the Rewriting Calculus. Search on Bibsonomy RULE@RDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack Rewrite strategies in the rewriting calculus. Search on Bibsonomy WRS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Horatiu Cirstea, Claude Kirchner, Luigi Liquori Rewriting Calculus with(out) Types. Search on Bibsonomy WRLA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Horatiu Cirstea, Claude Kirchner The rewriting calculus - Part I. Search on Bibsonomy Log. J. IGPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Horatiu Cirstea, Claude Kirchner The rewriting calculus - Part II. Search on Bibsonomy Log. J. IGPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Hubert Dubois Système de règles de production et calcul de réécriture. (Production Rule Systems and Rewriting calculus). Search on Bibsonomy 2001   RDF
19Horatiu Cirstea, Claude Kirchner The simply typed rewriting calculus. Search on Bibsonomy WRLA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
19Horatiu Cirstea Rewriting Calculus: Foundations and Applications Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
19Horatiu Cirstea, Claude Kirchner The Rewriting Calculus as a Semantics of ELAN. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
16Oana Andrei, Hélène Kirchner Graph Rewriting and Strategies for Modeling Biochemical Networks. Search on Bibsonomy SYNASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Horatiu Cirstea Specifying Authentication Protocols Using Rewriting and Strategies. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF model-checking, strategy, rewriting, authentication protocols
10Richard Kelsey, William D. Clinger, Jonathan Rees Revised5 Report on the Algorithmic Language Scheme. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
Displaying result #1 - #39 of 39 (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