Search results for "Church-Rosser-Properties"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	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
57	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
57	Hartmut Ehrig, Hans-Jörg Kreowski	Parallelism of Manipulations in Multidimensional Information Structures.	MFCS	1976	DBLP DOI BibTeX RDF	Multidimensional Information Structures, Canonical Derivation Sequences, Applications of Category Theory, Parallelism, Graph Grammars, Church-Rosser-Properties
45	Jean-Pierre Jouannaud, Jianqi Li	Church-Rosser Properties of Normal Rewriting.	CSL	2012	DBLP DOI BibTeX RDF
45	Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Rémy	Church-Rosser Properties of Weakly Terminating Term Rewriting Systems.	IJCAI	1983	DBLP BibTeX RDF
45	Hartmut Ehrig, John Staples	Church-Rosser properties for graph replacement systems with unique splitting.	Graph-Grammars and Their Application to Computer Science	1982	DBLP DOI BibTeX RDF
45	Mariangiola Dezani-Ciancaglini, Maddalena Zacchi	Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms.	ICALP	1974	DBLP DOI BibTeX RDF
29	Judicaël Courant	Explicit Universes for the Calculus of Constructions.	TPHOLs	2002	DBLP DOI BibTeX RDF
28	Peter Padawitz	Strategy-Controlled Reduction and Narrowing.	RTA	1987	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )