Treffer 1 - 20 von 199 für Suche 'CONSTABLE, Robert L', Suchdauer: 0,79s Treffer weiter einschränken
  1. 1
    Intuitionistic ancestral logic

    Intuitionistic ancestral logic von Cohen, Liron, Constable, Robert L


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Bar Induction is Compatible with Constructive Type Theory

    Bar Induction is Compatible with Constructive Type Theory von Rahli, Vincent, Bickford, Mark, Cohen, Liron, Constable, Robert L.

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

    Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday von Constable, Robert L, Silva, Alexandra


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems

    EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems von Rahli, Vincent, Guaspari, David, Bickford, Mark, Constable, Robert L.

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Brzozowski’s Algorithm (Co)Algebraically

    Brzozowski’s Algorithm (Co)Algebraically von Bonchi, Filippo, Bonsangue, Marcello M., Rutten, Jan J. M. M., Silva, Alexandra


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    An Introduction to the PL/CV2 Programming Logic

    An Introduction to the PL/CV2 Programming Logic von Constable, R. L, Johnson, S. D, Eichenlaub, C. D


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer

    On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer von Constable, R. L.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Combining Epistemic Logic and Hennessy-Milner Logic

    Combining Epistemic Logic and Hennessy-Milner Logic von Knight, Sophia, Mardare, Radu, Panangaden, Prakash


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Building Mathematics-Based Software Systems to Advance Science and Create Knowledge

    Building Mathematics-Based Software Systems to Advance Science and Create Knowledge von Constable, Robert L.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Meditations on Quantified Constraint Satisfaction

    Meditations on Quantified Constraint Satisfaction von Chen, Hubie


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language

    Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language von Cohen, Liron, Constable, Robert L.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    On State Sequences Defined by Reaction Systems

    On State Sequences Defined by Reaction Systems von Salomaa, Arto


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    The Complexity of Inhabitation with Explicit Intersection

    The Complexity of Inhabitation with Explicit Intersection von Rehof, Jakob, Urzyczyn, Paweł


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information

    Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information von Winskel, Glynn


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Metalogical Frameworks II: Developing a Reflected Decision Procedure

    Metalogical Frameworks II: Developing a Reflected Decision Procedure von Aitken, William E, Constable, Robert L, Underwood, Judith L

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model

    Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model von Górecki, Paweł, Tiuryn, Jerzy


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    On the Final Coalgebra of Automatic Sequences

    On the Final Coalgebra of Automatic Sequences von Kupke, Clemens, Rutten, Jan J. M. M.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    The Compass That Steered Robotics

    The Compass That Steered Robotics von Donald, Bruce R.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    A Complete Logical System for the Equality of Recursive Terms for Sets

    A Complete Logical System for the Equality of Recursive Terms for Sets von Moss, Lawrence S., Wennstrom, Erik, Whitney, Glen T.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    On Topological Completeness of Regular Tree Languages

    On Topological Completeness of Regular Tree Languages von Michalewski, Henryk, Niwiński, Damian


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: