"Completeness and confluence of order-sorted term rewriting"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Computational Aspects of an Order-Sorted Logic with Term Declarations	Manfred Schmidt-Schauß	1989	Springer Berlin Heidelberg
Complexity of term rewriting.	Ke Li	1989	Courant Institute of Mathematical Sciences, New York University
Term Rewriting and All That	Franz Baader; Tobias Nipkow	1998-03	Cambridge University Press
Term Rewriting and All That	Franz Baader, Tobias Nipkow	1998	Cambridge University Press
Term Rewriting and All That	Franz Baader, Tobias Nipkow	1998	Cambridge University Press
Algorithmic term rewriting systems	Ariya Isihara.	cop. 2010.	VU University Press
Advanced Topics in Term Rewriting	Enno Ohlebusch	2002	Springer New York
Orderings for term-rewriting systems	Nachum Dershowitz	1979	Dept. of Computer Science, University of Illinois at Urbana-Champaign
Revision Sorted! (Sorted)	Kate Brookes	March 1, 2002	Hodder Headline
Implementation of term rewriting-based programming languages /	Nedjah, Nadia.; Macedo Mourelle, Luiza de.	[2003], ©2003.	Nova Science Publishers,
Sorted	David Wilson	2000	Agapé
Sorted!	Justin Richards	2009	HarperCollins Children's Books
Sorted	Kate Kray	1998	Blake
Sorted	Jeff Gulvin	November 7, 1996	Headline Book Publishing
Sorted books	Nina Katchadourian	2013
Getting Sorted	Rebecca Davidson	October 25, 2006	British Association for Adoption and Fostering (BAAF)
Confluence.	Escaich, Thierry,; Le Guay, Claire-Marie,; Langlais, Jean,; Saint-Saëns, Camille,; Escaich, Thierry,; Franck, César,; Guillou, Jean,; Dupré, Marcel,
Confluence /	Phillips, Dave; O'Gallagher, John,; Abbasi, Rez.; Moreno, Tony.; Fitten, Glen.; Werking, Jon.
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA ' 95, Paderborn, Germany, September 1995. Selected Papers	Gilles Dowek; Jan Heering; Karl Meinke; Bernhard Möller	1996	Springer Berlin Heidelberg
A recursively defined ordering for proving termination of term rewriting systems	David A. Plaisted	1978	Dept. of Computer Science, University of Illinois at Urbana-Champaign
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Completeness and confluence of order-sorted term rewriting	Lars With	Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings	Michaël Rusinowitch; Jean-Luc Rémy	1993	Springer Berlin Heidelberg
Completeness and confluence of order-sorted term rewriti		Conditional Term Rewriting Systems: Third International Workshop, CTRS-92 Point-à -Mousson, France, July 8–10 1992 Proceedings	Karl Meinke (auth.), Michaël Rusinowitch, Jean-Luc Rémy (eds.)	1993	Springer Berlin Heidelberg
On modularity of completeness in order-sorted term rewriting systems	Yoshinobu Kawabe; Naohiro Ishii	Computing and Combinatorics: Third Annual International Conference, COCOON ' 97, Shanghai, China, August 20-22, 1997. Proceedings.	Tao Jiang; D.T. Lee	1997	Springer Berlin Heidelberg
Currying of order-sorted term rewriting systems	Yoshinobu Kawabe; Naohiro Ishii	Computing and Combinatorics: First Annual International Conference, COCOON ' 95, Xi' an, China, August 24-26, 1995. Proceedings	Ding-Zhu Du; Ming Li	1995	Springer Berlin Heidelberg
Many-Sorted Term Rewriting	Christoph Walther	A Many-Sorted Calculus Based on Resolution and Paramodulation	Christoph Walther	1987	Morgan Kaufmann
Termination of order-sorted rewriting	Isabelle Gnaedig	Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings	Helene Kirchner; Giorgio Levi	1992	Springer Berlin Heidelberg
Collapsed tree rewriting: Completeness, confluence, and modularity	Detlef Plump	Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings	Michaël Rusinowitch; Jean-Luc Rémy	1993	Springer Berlin Heidelberg
Collapsed tree rewriting: Completeness, confluence, and modulari		Conditional Term Rewriting Systems: Third International Workshop, CTRS-92 Point-à -Mousson, France, July 8–10 1992 Proceedings	Karl Meinke (auth.), Michaël Rusinowitch, Jean-Luc Rémy (eds.)	1993	Springer Berlin Heidelberg
Order-Sorted Rewriting and Congruence Closure	José Meseguer	Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings	Bart Jacobs; Christof Löding	1st ed. 2016	Springer Berlin Heidelberg
Rational Term Rewriting Revisited: Decidability and Confluence	Takahito Aoto; Jeroen Ketema	Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings	Hartmut Ehrig; Gregor Engels; Hans-Jörg Kreowski; Grzegorz Rozenberg	2012	Springer Berlin Heidelberg
122 Semantically sorted term rewriting systems		Algorithmic term rewriting systems	Ariya Isihara.	cop. 2010.	VU University Press
Proving Confluence of Term Rewriting Systems Automatically	Takahito Aoto; Junichi Yoshida; Yoshihito Toyama	Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings	Ralf Treinen	2009	Springer Berlin Heidelberg
Higher-Order Rewriting: Framework, Confluence and Termination	Jean-Pierre Jouannaud	Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday	Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de Vrijer	2005	Springer Berlin Heidelberg
Hidden order sorted rewriting logic institution		Theoretical Computer Science, Volume 285, Issue 2, Pages 119-564 (28 August 2002), Rewriting Logic and its Applications	N. Marti-Oliet, J. Mesegue (eds.)
Confluence and Termination of Simply Typed Term Rewriting Systems	Toshiyuki Yamada	Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings	Aart Middeldorp	2001	Springer Berlin Heidelberg
Ordered rewriting and confluence	Ursula Martin; Tobias Nipkow	10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings	Mark E. Stickel	1990	Springer Berlin Heidelberg
Decidability of confluence for ground term rewriting systems	M. Dauchet; S. Tison	Fundamentals of Computation Theory: Proceedings of the International Conference FCT 1985, Cottbus, GDR, September 9-13, 1985	Lothar Budach	1985	Springer Berlin Heidelberg
Completeness of hierarchical combinations of term rewriting systems	M. R. K. Krishna Rao	Foundations of Software Technology and Theoretical Computer Science: 13th Conference, Bombay, India, December 15-17, 1993. Proceedings	Rudrapatna K. Shyamasundar	1993	Springer Berlin Heidelberg
Decidability of confluence and termination of monadic term rewriting systems	Kai Salomaa	Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings	Ronald V. Book	1991	Springer Berlin Heidelberg
TRAM: An abstract machine for order-sorted conditional term rewriting systems	Kazuhiro Ogata; Koichi Ohhara; Kokichi Futatsugi	Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings	Hubert Comon	1997	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Completeness and confluence of order-sorted term rewriting" - similar Books and Chapters