( en | de | ru )

 

Disambiguierung von "Rowe, Reuben N. S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent.

, und . TABLEAUX, Volume 10501 von Lecture Notes in Computer Science, Seite 295-310. Springer, (2017)

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.

S N Chillrud

n-s Yi

Hy n-s Yi

Hy n-s Pak

n n n

 

Weitere Publikationen von Autoren mit dem selben Namen

A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic., und . TABLEAUX, Volume 11714 von Lecture Notes in Computer Science, Seite 335-352. Springer, (2019)Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract)., und . TLCA, Volume 6690 von Lecture Notes in Computer Science, Seite 229-244. Springer, (2011)Semantic predicate types and approximation for class-based object oriented programming., und . FTfJP@ECOOP, Seite 3:1-3:7. ACM, (2009)Integrating Induction and Coinduction via Closure Operators and Proof Cycles., und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 375-394. Springer, (2020)Semantic types for class-based objects.. Imperial College London, UK, (2013)British Library, EThOS.Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper)., , , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 110-134. Springer, (2021)Rotor: a tool for renaming values in OCaml's module system., , , und . IWOR@ICSE, Seite 27-30. IEEE / ACM, (2019)Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent., und . TABLEAUX, Volume 10501 von Lecture Notes in Computer Science, Seite 295-310. Springer, (2017)Safe, Flexible Recursive Types for Featherweight Java.. ICCSW, Volume DTR11-9 von Department of Computing Technical Report, Seite 80-86. Imperial College London, (2011)Automatic cyclic termination proofs for recursive procedures in separation logic., und . CPP, Seite 53-65. ACM, (2017)