Suchergebnisse - Constable, Robert Lee 1952-

Treffer filtern
  1. 1
    Buchumschlag

    Metalogical frameworks
    von Basin, David A., Constable, Robert Lee 1952-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Recursive definitions in type theory
    von Constable, Robert Lee 1952-, Mendler, N. P.

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Writing programs that construct proofs
    von Constable, Robert Lee 1952-, Knoblock, T. B., Bates, J. L.

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    The nearly ultimate PEARL
    von Constable, Robert Lee 1952-, Bates, Joseph L.

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Mathematics as programming
    von Constable, Robert Lee 1952-

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Proofs as programs
    von Bates, Joseph L., Constable, Robert Lee 1952-

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    An introduction to the PL/CV2 programming logic
    von Constable, Robert Lee 1952-, Johnson, S. D., Eichenlaub, C. D.

    Veröffentlicht 1982
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Report on the type theory (V3) of the programming logic PL/CV3
    von Constable, Robert Lee 1952-, Zlatin, Daniel R.

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    An elementary formal semantics for the programming language PL CS
    von Constable, Robert Lee 1952-, Donahue, James E.

    Veröffentlicht 1976
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Subrecursive programming languages
    Band 2 - On program size
    von Constable, Robert Lee 1952-

    Veröffentlicht 1971
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Formalized metareasoning in type theory
    von Knoblock, Todd B., Constable, Robert Lee 1952-

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Universally closed classes of total computable functions
    von Constable, Robert Lee 1952-

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Partial functions in constructive formal theories
    von Constable, Robert Lee 1952-

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Constructive mathematics as a programming logic I: some principles of theory
    von Constable, Robert Lee 1952-

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    An introduction to the PL/CV2 programming logic
    von Constable, Robert Lee 1952-, Johnson, S. D., Eichenlaub, C. D.

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Programs as proofs
    von Constable, Robert Lee 1952-

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    The type theory of PL/CV3
    von Constable, Robert Lee 1952-, Zlatin, Daniel R.

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    A programming logic: with an introduction to the PL/CV verifier
    von Constable, Robert Lee 1952-, O'Donnell, Michael J.

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Computability on continuous higher types and its role in the semantics of programming languages
    von Constable, Robert Lee 1952-, Egli, Herbert

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Subrecursive program schemata I and II: I. Undecidable equivalence problems . II. Decidable equivalence problems
    von Constable, Robert Lee 1952-, Muchnick, Steven S.

    Veröffentlicht 1972
    Buch


    Gespeichert in:

Suchwerkzeuge: