gefundene Verfasser Klop, J.W.

Klop, Jan Willem 1945-
Bergstra, Jan A. 1951-
Baeten, Josephus C. M.
Olderog, Ernst-Rüdiger 1955-
Oostrom, Vincent van
Alle anzeigen »
Vrijer, Roel de
Apt, Krzysztof R. 1949-
Bethke, Inge
Bol, Roland N.
Dershowitz, Nachum 1951-

Treffer 1 - 20 von 64 für Suche 'Klop, J.W.', Suchdauer: 1,21s Treffer weiter einschränken
  1. 1
    Equational term graph rewriting

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

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Unique normal forms for lambda calculus with surjective pairing

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

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Algebra of communicating processes with abstraction

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Process algebra for communication and mutual exclusion

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Verification of an alternating bit protocol by means of process algebra

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A complete inference system for regular processes with silent moves

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

    Veröffentlicht 1984
    kostenfrei
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    An algebraic specification method for processes over a finite action set

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

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    An algebraic specification method for processes over a finite action set

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

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Formal proof systems for program equivalence

    Formal proof systems for program equivalence von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1982
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Conditional rewrite rules confluency and termination

    Conditional rewrite rules confluency and termination von Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1982
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Extended term rewriting systems

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Open problems in rewriting

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Diagram techniques for confluence

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

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Completing partial combinatory algebras with unique head normal forms

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

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Termination for direct sums of left-linear complete term rewriting systems

    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

    Zu den Favoriten
    Gespeichert in:
  16. 16
    A geometric proof of confluence by decreasing diagrams

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

    Veröffentlicht 2000
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Readies and failures in the algebra of communicating processes

    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

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Conditional axioms and alpha/beta calculus in process algebra

    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

    Zu den Favoriten
    Gespeichert in:
  19. 19
    On the consistency of Koomen's fair abstraction rule

    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

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Combinatory reduction systems introduction and survey

    Combinatory reduction systems introduction and survey von Klop, Jan Willem 1945-

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: