Search results for "rewriting-calculus"

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