Treffer 1 – 20 von 64 für Suche 'Klop, Jan Willem 1945-', Suchdauer: 0,14s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    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 Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Diagram techniques for confluence

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

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    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 Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Equational term graph rewriting

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Open problems in rewriting

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Extended term rewriting systems

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    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 Fernleihe Bestellen


    Gespeichert in:
  8. 8
    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 Fernleihe Bestellen


    Gespeichert in:
  9. 9
    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 Fernleihe Bestellen


    Gespeichert in:
  10. 10
    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 Fernleihe Bestellen


    Gespeichert in:
  11. 11
    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 Fernleihe Bestellen


    Gespeichert in:
  12. 12
    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
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    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 Fernleihe Bestellen


    Gespeichert in:
  14. 14
    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 Fernleihe Bestellen


    Gespeichert in:
  15. 15
    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 Fernleihe Bestellen


    Gespeichert in:
  16. 16
    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 Fernleihe Bestellen


    Gespeichert in:
  17. 17
    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 Fernleihe Bestellen


    Gespeichert in:
  18. 18
    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 Fernleihe Bestellen


    Gespeichert in:
  19. 19
    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 Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Collapsing partial combinatory algebras

    Collapsing partial combinatory algebras von Bethke, Inge, Klop, Jan Willem 1945-

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: