Search results for "Church-Rosser property"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang	Customising Web Information Systems According to User Preferences.	World Wide Web	2009	DBLP DOI BibTeX RDF	critical pair completion, media type, deontic constraint, preference rule, termination, term rewriting, personalisation, web information system, Church-Rosser property, Kleene algebra with tests
2	Klaus-Dieter Schewe, Bernhard Thalheim	Term Rewriting for Web Information Systems - Termination and Church-Rosser Property.	WISE	2007	DBLP DOI BibTeX RDF
2	Heiko Stamer	Completion Attacks and Weak Keys of Oleshchuk's Public Key Cryptosystem.	INDOCRYPT	2005	DBLP DOI BibTeX RDF	completion attack, Knuth-Bendix completion, Cryptanalysis, weak keys, Church-Rosser property, string-rewriting systems
2	Max I. Kanovich	Bijections between Partitions by Two-Directional Rewriting Techniques.	CSL	2002	DBLP DOI BibTeX RDF	multiset rewriting, partition identities, termination, combinatorics, confluence, strong normalization, Church-Rosser property, integer partitions
1	Max I. Kanovich	A Note on Rewriting Proofs and Fibonacci Numbers.	LFCS	2007	DBLP DOI BibTeX RDF	multiset rewriting, partition identities, termination, combinatorics, confluence, Fibonacci numbers, strong normalization, Church-Rosser property, integer partitions
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Introduction.	All About Maude	2007	DBLP DOI BibTeX RDF
1	Koji Nakazawa	An Isomorphism Between Cut-Elimination Procedure and Proof Reduction.	TLCA	2007	DBLP DOI BibTeX RDF
1	Ariel Arbiser, Alexandre Miquel, Alejandro Ríos	A Lambda-Calculus with Constructors.	RTA	2006	DBLP DOI BibTeX RDF
1	Katalin Bimbó	The Church-Rosser property in symmetric combinatory logic.	J. Symb. Log.	2005	DBLP BibTeX RDF
1	Rakesh M. Verma, Ara Hayrapetyan	A new decidability technique for ground term rewriting systems with applications.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	standard forms, unique normalization, decision procedures, rewriting, Confluence, pumping lemma
1	Yoshihito Toyama	Reduction Strategies for Left-Linear Term Rewriting Systems.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
1	Lorenzo Tortora de Falco	Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser property.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Katalin Bimbó	The Church-Rosser property in dual combinatory logic.	J. Symb. Log.	2003	DBLP BibTeX RDF
1	Y. Andou	Church-Rosser property of a simple reduction for full first-order classical natural deduction.	Ann. Pure Appl. Logic	2003	DBLP DOI BibTeX RDF
1	Paul-André Melliès	Axiomatic Rewriting Theory VI Residual Theory Revisited.	RTA	2002	DBLP DOI BibTeX RDF
1	C. Barry Jay	Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types.	TLCA	2001	DBLP DOI BibTeX RDF
1	Satoshi Okui	Simultaneous Critical Pairs and Church-Rosser Property.	RTA	1998	DBLP DOI BibTeX RDF
1	Ken-etsu Fujita	Polymorphic Call-by-Value Calculus Based on Classical Proofs.	AISC	1998	DBLP DOI BibTeX RDF
1	Enno Ohlebusch	Church-Rosser Theorems for Abstract Reduction Modulo an Equivalence Relation.	RTA	1998	DBLP DOI BibTeX RDF
1	Richard Banach	MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property.	J. UCS	1997	DBLP BibTeX RDF
1	Luis Mandel, María Victoria Cengarle	The Disjunctive Constrained Lambda Calculus.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	constraints, functional programming, lambda calculus, denotational semantics, multiple solutions
1	Yoshihito Toyama, Michio Oyamaguchi	Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems.	CTRS	1994	DBLP DOI BibTeX RDF
1	Herman Geuvers, Benjamin Werner	On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study	LICS	1994	DBLP DOI BibTeX RDF
1	Fabio Massacci	Strongly Analytic Tableaux for Normal Modal Logics.	CADE	1994	DBLP DOI BibTeX RDF
1	Martin Odersky, Dan Rabin, Paul Hudak	Call by Name, Assignment, and the Lambda Calculus.	POPL	1993	DBLP DOI BibTeX RDF
1	Andrea Corradini	Term Rewriting in CT-Sigma.	TAPSOFT	1993	DBLP DOI BibTeX RDF
1	C. Barry Jay	Coherence in category theory and the Church-Rosser property.	Notre Dame Journal of Formal Logic	1992	DBLP BibTeX RDF
1	Herman Geuvers	The Church-Rosser Property for beta-eta-reduction in Typed lambda-Calculi	LICS	1992	DBLP DOI BibTeX RDF
1	George Koletsos	Polymorphic Lambda Calculus: The Church-Rosser Property.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
1	Yves Lafont, Alain Prouté	Church-Rosser Property and Homology of Monoids.	Mathematical Structures in Computer Science	1991	DBLP DOI BibTeX RDF
1	Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries	Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract).	RTA	1991	DBLP DOI BibTeX RDF	orthogonal term rewriting systems, infinitary rewriting, strong converging reductions, infinite Church-Rosser Properties, Böhm Trees, head normal forms, non-unifiable term rewriting systems, normal forms
1	E. G. K. López-Escobar	Remarks on the Church-Rosser Property.	J. Symb. Log.	1990	DBLP BibTeX RDF
1	Robert McNaughton, Paliath Narendran, Friedrich Otto	Church-Rosser Thue systems and formal languages.	J. ACM	1988	DBLP DOI BibTeX RDF
1	Michio Oyamaguchi	The Church-Rosser Property for Ground Term-Rewriting Systems is Decidable.	Theor. Comput. Sci.	1987	DBLP DOI BibTeX RDF
1	Jana Ryslinková	Church-Rosser Property and Decidability of Monadic Theories of Unary Algebras.	ITA	1987	DBLP BibTeX RDF
1	Yoshihito Toyama	On the Church-Rosser property for the direct sum of term rewriting systems.	J. ACM	1987	DBLP DOI BibTeX RDF
1	Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep	Term Graph Rewriting.	PARLE	1987	DBLP DOI BibTeX RDF
1	Yoshihito Toyama	How to Prove Equivalence of Term Rewriting Systems without Induction.	CADE	1986	DBLP DOI BibTeX RDF
1	Deepak Kapur, Mukkai S. Krishnamoorthy, Robert McNaughton, Paliath Narendran	An O(\|T\|3) Algorithm for Testing the Church-Rosser Property of Thue Systems.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
1	Martin W. Bunder	An Extension of Klop's Counterexample to the Church-Rosser Property to lambda-Calculus with other Ordered Pair Combinators.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
1	Deepak Kapur, Paliath Narendran, Mukkai S. Krishnamoorthy, Robert McNaughton	The Church-Rosser Property and Special Thue Systems.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
1	Franz Winkler, Bruno Buchberger, Franz Lichtenberger, Heinrich Rolletschek	Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals.	ACM Trans. Math. Softw.	1985	DBLP DOI BibTeX RDF	Gro¨bner bases, computer algebra, simplification, polynomial ideals, Church-Rosser property
1	Ilaria Castellani	Bisimulations and Abstraction Homomorphisms.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
1	Ronald V. Book	Homogeneous Thue systems and the Church-Rosser property.	Discrete Mathematics	1984	DBLP DOI BibTeX RDF
1	Matthias Jantzen	Thue Systems and the Church-Rosser Property.	MFCS	1984	DBLP DOI BibTeX RDF
1	Jean-Pierre Jouannaud, Miguel Munoz	Termination of a Set of Rules Modulo a Set of Equations.	CADE	1984	DBLP DOI BibTeX RDF
1	Alex Pelin, Jean H. Gallier	Solving Word Problems in Free Algebras Using Complexity Functions.	CADE	1984	DBLP DOI BibTeX RDF
1	Klaus Drosten	Towards Executable Specifications Using Conditional Axioms.	STACS	1984	DBLP DOI BibTeX RDF
1	Ronald V. Book	The Power of the Church-Rosser Property for String Rewriting Systems.	CADE	1982	DBLP DOI BibTeX RDF
1	Ronald V. Book, Colm Ó'Dúnlaing	Testing for the Church-Rosser Property.	Theor. Comput. Sci.	1981	DBLP DOI BibTeX RDF
1	Hartmut Ehrig, Barry K. Rosen	Concurrency of Manipulations in Multidimensional Information Structures.	MFCS	1978	DBLP DOI BibTeX RDF	Multidimensional Information Structures, Applications of Category Theory, Parallelism, Concurrency, Graph Grammars, Church-Rosser-Properties
1	Hartmut Ehrig, Barry K. Rosen	The Mathematics of Record Handling.	ICALP	1977	DBLP DOI BibTeX RDF
1	Ravi Sethi	Errata: ``Testing for the Church-Rosser Property''.	J. ACM	1975	DBLP DOI BibTeX RDF
1	Ravi Sethi	Testing for the Church-Rosser Property.	J. ACM	1974	DBLP DOI BibTeX RDF
1	Mariangiola Dezani-Ciancaglini, Maddalena Zacchi	Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms.	ICALP	1974	DBLP DOI BibTeX RDF
1	Barry K. Rosen	Tree-Manipulating Systems and Church-Rosser Theorems.	J. ACM	1973	DBLP DOI BibTeX RDF