Autor der Publikation

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey.

, , und . J. Autom. Reason., 55 (4): 307-372 (2015)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A verified algorithm for detecting conflicts in XACML access control rules., und . CPP, Seite 166-175. ACM, (2016)Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems., , und . CADE, Volume 1632 von Lecture Notes in Computer Science, Seite 237-251. Springer, (1999)A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs.. ELP, Volume 475 von Lecture Notes in Computer Science, Seite 157-178. Springer, (1989)A Logic Programming Approach to Implementing Higher-Order Term Rewriting.. ELP, Volume 596 von Lecture Notes in Computer Science, Seite 135-161. Springer, (1991)A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code.. RTA, Volume 3467 von Lecture Notes in Computer Science, Seite 394-406. Springer, (2005)Women in Logic 2018 workshop report., , , und . ACM SIGLOG News, 6 (1): 41-42 (2019)The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey., , und . J. Autom. Reason., 55 (4): 307-372 (2015)Cache Coherency in SCI: Specification and a Sketch of Correctness., und . Formal Aspects Comput., 11 (5): 475-497 (1999)A Logical Framework for Modelling Breast Cancer Progression., , , und . MLCSB, Volume 11415 von Lecture Notes in Computer Science, Seite 121-141. Springer, (2018)Preface., und . LSFA, Volume 348 von Electronic Notes in Theoretical Computer Science, Seite 1-2. Elsevier, (2019)