Suchergebnisse - Fairtlough, Matthew V.

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    Ternary simulation: a refinement of binary functions or an abstraction of real-time behaviour?
    von Mendler, Michael V., Fairtlough, Matthew V.

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Ordinal complexity of recursive programs and their termination proofs
    von Fairtlough, Matthew V.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    First order lax logic as a framework for constraint logic programming
    von Fairtlough, Matthew V., Mendler, Michael V., Walton, Matt

    Veröffentlicht 1997
    Buch


    Gespeichert in:

Suchwerkzeuge: