( en | de | ru )

 

Disambiguierung von "Felty, Amy P."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formalizing Abstract Computability: Turing Categories in Coq.

, , und . LSFA, Volume 338 von Electronic Notes in Theoretical Computer Science, Seite 203-218. Elsevier, (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.

Amy Marga

Amy Winter

Adham Amyan

Amy Chung

Amy Neumann-Volmer

 

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)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)Women in Logic 2018 workshop report., , , und . ACM SIGLOG News, 6 (1): 41-42 (2019)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)Cache Coherency in SCI: Specification and a Sketch of Correctness., und . Formal Aspects Comput., 11 (5): 475-497 (1999)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 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)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)