Diagram techniques for confluence

Diagram techniques for confluence

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bezem, Marc (VerfasserIn), Klop, Jan Willem 1945- (VerfasserIn), Oostrom, Vincent van (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Utrecht Dep. of Philos., Utrecht Univ. 1996
Schriftenreihe:	Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series 166
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A geometric proof of confluence by decreasing diagrams
von: Klop, Jan Willem 1945-, et al.
Veröffentlicht: (2000)

Decision diagrams for optimization
von: Bergman, David, et al.
Veröffentlicht: (2016)

Confluence
von: Rumbau Masgrau, Octavi 1980-
Veröffentlicht: (2012)

Confluences

Confluences
von: Matinier, Jean-Louis 1963-
Veröffentlicht: (2003)

Confluence
Veröffentlicht: (1979)

Formal proof systems for program equivalence
von: Bergstra, Jan A. 1951-, et al.
Veröffentlicht: (1982)

Process algebra for communication and mutual exclusion
von: Bergstra, Jan A. 1951-, et al.
Veröffentlicht: (1984)

A complete inference system for regular processes with silent moves
von: Bergstra, Jan A. 1951-, et al.
Veröffentlicht: (1984)

An algebraic specification method for processes over a finite action set
von: Bergstra, Jan A. 1951-, et al.
Veröffentlicht: (1983)

An algebraic specification method for processes over a finite action set
von: Bergstra, Jan A. 1951-, et al.
Veröffentlicht: (1983)

Unique normal forms for lambda calculus with surjective pairing
von: Klop, Jan Willem 1945-, et al.
Veröffentlicht: (1987)

Confluence an international forum
Veröffentlicht: (1952)

Termination for direct sums of left-linear complete term rewriting systems
von: Toyama, Yoshihito, et al.
Veröffentlicht: (1989)

Confluence/reconstruction
Veröffentlicht: (2018)

Creative confluence
von: Hoorn, Johan F.
Veröffentlicht: (2014)

Confluences postwar Japan and France
Veröffentlicht: (2002)

Confluences for clarinet, violin, cello and piano ; 2001
von: Mamlok, Ursula 1923-2016
Veröffentlicht: (2011)

Confluence Online Journal of World Philosophies
Veröffentlicht: (2015)

Confluences essays on the new Canadian literature
Veröffentlicht: (2021)

Algebra of communicating processes with abstraction
von: Bergstra, Jan A. 1951-, et al.
Veröffentlicht: (1984)

On the consistency of Koomen's fair abstraction rule
von: Baeten, Josephus C. M., et al.
Veröffentlicht: (1985)

Readies and failures in the algebra of communicating processes
von: Bergstra, Jan A. 1951-, et al.
Veröffentlicht: (1985)

Verification of an alternating bit protocol by means of process algebra
von: Bergstra, Jan A. 1951-, et al.
Veröffentlicht: (1984)

Conditional rewrite rules confluency and termination
von: Bergstra, Jan A. 1951-, et al.
Veröffentlicht: (1982)

Conditional axioms and alpha/beta calculus in process algebra
von: Baeten, Josephus C. M., et al.
Veröffentlicht: (1985)

Confluences Méditerranée revue trimestrielle
Veröffentlicht: (2001)

Confluence linguistics, L2 acquisition and speech pathology
Veröffentlicht: (1993)

Confluence linguistics, L2 acquisition and speech pathology
Veröffentlicht: (1993)

Confluence Magazine South Asian Perspectives
Veröffentlicht: (2009)

Equational term graph rewriting
von: Ariola, Zena M., et al.
Veröffentlicht: (1995)

Completing partial combinatory algebras with unique head normal forms
von: Bethke, Inge, et al.
Veröffentlicht: (1995)

Extended term rewriting systems
von: Klop, Jan Willem 1945-, et al.
Veröffentlicht: (1991)

Open problems in rewriting
von: Dershowitz, Nachum 1951-, et al.
Veröffentlicht: (1991)

Confluences mélanges en l'honneur de Jacqueline Morand-Deviller
Veröffentlicht: (2008)

Influence and confluence
Veröffentlicht: (2007)

Confluences postcolonialism, African American literary studies, and the Black Atlantic
von: Gruesser, John Cullen 1959-
Veröffentlicht: (2005)

Diagram techniques in group theory
von: Stedman, Geoffrey E.
Veröffentlicht: (1990)

Confluence the nature of technology and the remaking of the Rhone
von: Pritchard, Sara B. 1972-
Veröffentlicht: (2011)

Confluence the nature of technology and the remaking of the Rhône
von: Pritchard, Sara B. 1972-
Veröffentlicht: (2011)