Treffer 1 – 20 von 21 für Suche 'Bezem, Marc', Suchdauer: 0,05s 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
    Generalizing hamming distance to finite sets

    Generalizing hamming distance to finite sets von Bezem, Marc, Keijzer, Maarten

    Veröffentlicht 1996
    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
    On the computational content of the Axiom of Choice

    On the computational content of the Axiom of Choice von Berardi, Stefano, Bezem, Marc, Coquand, Thierry 1961-

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A formal verification of the alternating bit protocol in the calculus of constructions

    A formal verification of the alternating bit protocol in the calculus of constructions von Bezem, Marc, Groote, Jan F.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Completeness of resolution by transfinite induction

    Completeness of resolution by transfinite induction von Bezem, Marc

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Strong termination of logic programs

    Strong termination of logic programs von Bezem, Marc

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Acyclic programs (extended abstract)

    Acyclic programs (extended abstract) von Apt, Krzysztof R. 1949-, Bezem, Marc

    Veröffentlicht 1990
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Characterizing termination of logic programs with level mappings

    Characterizing termination of logic programs with level mappings von Bezem, Marc

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Characterizing termination of logic programs with level mapping

    Characterizing termination of logic programs with level mapping von Bezem, Marc

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Consistency of rule-based expert systems

    Consistency of rule-based expert systems von Bezem, Marc

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Bar recursion and functionals of finite type

    Bar recursion and functionals of finite type von Bezem, Marc

    Veröffentlicht 1986
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Proving a graph well founded using resolution (a case study in automated verification)

    Proving a graph well founded using resolution (a case study in automated verification) von Bezem, Marc, Groote, Jan F.

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    A correctness proof of a one-bit sliding window protocol in MyCRL

    A correctness proof of a one-bit sliding window protocol in MyCRL von Bezem, Marc, Groote, Jan F.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Invariants in process algebra with data

    Invariants in process algebra with data von Bezem, Marc, Groote, Jan F.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Bar recursion versus polymorphism

    Bar recursion versus polymorphism von Barendsen, Erik, Bezem, Marc

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Ramsey's theorem and the pigeonhole principle in intuitionistic mathemathics

    Ramsey's theorem and the pigeonhole principle in intuitionistic mathemathics von Veldman, Willem H., Bezem, Marc

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Bar recursion versus polymorphism extended abstract

    Bar recursion versus polymorphism extended abstract von Barendsen, Erik, Bezem, Marc

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Impredicative recursion terms depending on order types ; (extended abstract)

    Impredicative recursion terms depending on order types ; (extended abstract) von Bezem, Marc

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    On downward closure ordinals of logic programs

    On downward closure ordinals of logic programs von Bagai, Rajiv, Bezem, Marc, Van Emden, Maarten H.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Semantics and consistency of rule-based expert systems

    Semantics and consistency of rule-based expert systems von Bezem, Marc

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: