Treffer 1 - 20 von 25 für Suche 'Gumb, Raymond D.', Suchdauer: 0,83s Treffer weiter einschränken
  1. 1
    The lazy logic of partial terms

    The lazy logic of partial terms von Gumb, Raymond D.

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    In Memoriam: Hugues Leblanc March 19, 1924–September 10, 1999

    In Memoriam: Hugues Leblanc March 19, 1924–September 10, 1999 von Gumb, Raymond D.

    Veröffentlicht in The bulletin of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions

    An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions von Gumb, Raymond D.

    Veröffentlicht in Studia logica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions

    Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions von Gumb, Raymond D.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    G. Aldo Antonelli. Proto-semantics for positive free logic. Journal of philosophical logic, vol. 29 (2000), pp. 277–294

    G. Aldo Antonelli. Proto-semantics for positive free logic. Journal of philosophical logic, vol. 29 (2000), pp. 277–294 von Gumb, Raymond D.

    Veröffentlicht in The bulletin of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Review: G. Aldo Antonelli, Proto-Semantics for Positive Free Logic

    Review: G. Aldo Antonelli, Proto-Semantics for Positive Free Logic von Gumb, Raymond D

    Veröffentlicht in The bulletin of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    An extended joint consistency theorem for free logic with equality

    An extended joint consistency theorem for free logic with equality von Gumb, Raymond D.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    An extended joint consistency theorem for a family of free modal logics with equality

    An extended joint consistency theorem for a family of free modal logics with equality von Gumb, Raymond D.

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    "Conservative" Kripke Closures

    "Conservative" Kripke Closures von Gumb, Raymond D.

    Veröffentlicht in Synthese (Dordrecht)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A first course in program verification and the semantics of programming languages

    A first course in program verification and the semantics of programming languages von Gumb, Raymond D.

    Veröffentlicht in SIGCSE bulletin

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Robert W. Floyd and Richard Beigel. The language of machines. An introduction to computability and formal languages. Computer Science Press, New York1994, xvii + 706 pp

    Robert W. Floyd and Richard Beigel. The language of machines. An introduction to computability and formal languages. Computer Science Press, New York1994, xvii + 706 pp von Gumb, Raymond D.

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Review: Robert W Floyd, Richard Beigel, The Language of Machines. An Introduction to Computability and Formal Languages

    Review: Robert W Floyd, Richard Beigel, The Language of Machines. An Introduction to Computability and Formal Languages von Gumb, Raymond D

    Veröffentlicht in The Journal of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Free Logic in Program Specification and Verification

    Free Logic in Program Specification and Verification von Gumb, Raymond D.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    AN EXPLICATION OF THE NOTION OF A CONSISTENT EVOLVING THEORY

    AN EXPLICATION OF THE NOTION OF A CONSISTENT EVOLVING THEORY von Gumb, Raymond D.

    Veröffentlicht in Logique et analyse

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    FREE INTUITIONISTIC LOGIC AND ITS S4 COUNTERPART

    FREE INTUITIONISTIC LOGIC AND ITS S4 COUNTERPART von Gumb, Raymond D.

    Veröffentlicht in Logique et analyse

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    On the underlying logics of specification languages

    On the underlying logics of specification languages von Gumb, Raymond D.

    Veröffentlicht in Software engineering notes

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    REVIEWS

    REVIEWS von Gumb, Raymond D.

    Veröffentlicht in Bulletin of Symbolic Logic

    Volltext
    Review

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Proto-Semantics for Positive Free Logic

    Proto-Semantics for Positive Free Logic von Gumb, Raymond D.

    Veröffentlicht in The bulletin of symbolic logic

    Volltext
    Review

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Reasonable breadth-biased: A algorithms

    Reasonable breadth-biased: A algorithms von Gumb, Raymond D.

    Veröffentlicht in SIGART newsletter

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Reasonable breadth-biased

    Reasonable breadth-biased von Gumb, Raymond D

    Veröffentlicht in SIGART newsletter

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: