Suchergebnisse - Klop, Jan Willem 1945-

Treffer filtern
  1. 1
    Buchumschlag

    A complete inference system for regular processes with silent moves
    von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1984
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Term rewriting systems
    von Klop, Jan Willem 1945-

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond
    von Klop, Jan Willem 1945-

    Veröffentlicht 1990
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Combinatory reduction systems
    von Klop, Jan Willem 1945-

    Veröffentlicht 1980
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Unique normal forms for lambda calculus with surjective pairing
    von Klop, Jan Willem 1945-, Vrijer, Roel de

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Combinatory reduction systems
    von Klop, Jan Willem 1945-

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    A geometric proof of confluence by decreasing diagrams
    von Klop, Jan Willem 1945-, Oostrom, Vincent van, Vrijer, Roel de

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Diagram techniques for confluence
    von Bezem, Marc, Klop, Jan Willem 1945-, Oostrom, Vincent van

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Completing partial combinatory algebras with unique head normal forms
    von Bethke, Inge, Klop, Jan Willem 1945-, Vrijer, Roel de

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Equational term graph rewriting
    von Ariola, Zena M., Klop, Jan Willem 1945-

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Open problems in rewriting
    von Dershowitz, Nachum 1951-, Jouannaud, Jean-Pierre, Klop, Jan Willem 1945-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Extended term rewriting systems
    von Klop, Jan Willem 1945-, Vrijer, Roel C. de

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Termination for direct sums of left-linear complete term rewriting systems
    von Toyama, Yoshihito, Klop, Jan Willem 1945-, Barendregt, Hendrik P. 1947-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Conditional axioms and alpha/beta calculus in process algebra
    von Baeten, Josephus C. M., Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    On the consistency of Koomen's fair abstraction rule
    von Baeten, Josephus C. M., Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Readies and failures in the algebra of communicating processes
    von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-, Olderog, Ernst-Rüdiger 1955-

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Algebra of communicating processes with abstraction
    von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Process algebra for communication and mutual exclusion
    von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Verification of an alternating bit protocol by means of process algebra
    von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    An algebraic specification method for processes over a finite action set
    von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1983
    Buch


    Gespeichert in:

Suchwerkzeuge: