( en | de | ru )

 

Disambiguierung von "Back, Ralph-Johan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Refinement Calculus, Lattices and Higher Order Logic.

. NATO ASI PDC, Volume 118 von NATO ASI Series, Seite 53-71. Springer, (1992)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

John Ralph

Peter Back

Artur Back

Rudolf Back

Birgit Bäck

 

Weitere Publikationen von Autoren mit dem selben Namen

Derivation of Efficient DAG Marking Algorithms., , und . POPL, Seite 20-27. ACM Press, (1983)Semantics and proof rules of invariant based programs., und . SAC, Seite 1658-1665. ACM, (2011)Incremental Software Construction with Refinement Diagrams.. AMAST, Volume 4019 von Lecture Notes in Computer Science, Seite 1. Springer, (2006)Exploring Summation and Product Operators in the Refinement Calculus., und . MPC, Volume 947 von Lecture Notes in Computer Science, Seite 128-158. Springer, (1995)Testing and Verifying Invariant Based Programs in the SOCOS Environment., , und . TAP, Volume 4454 von Lecture Notes in Computer Science, Seite 61-78. Springer, (2007)Predicate Transformers and Higher Order Logic., und . REX Workshop, Volume 666 von Lecture Notes in Computer Science, Seite 1-20. Springer, (1992)Software Development and Experimentation in an Academic Environment: The Gaudi Experience., , und . PROFES, Volume 3547 von Lecture Notes in Computer Science, Seite 414-428. Springer, (2005)Locality in Modular Systems., und . ICALP, Volume 140 von Lecture Notes in Computer Science, Seite 1-13. Springer, (1982)Proofs and Refutations in Invariant-Based Programming., , und . IFM, Volume 8739 von Lecture Notes in Computer Science, Seite 189-204. Springer, (2014)Computational Heuristics for Simplifying a Biological Model., , und . CiE, Volume 5635 von Lecture Notes in Computer Science, Seite 399-408. Springer, (2009)