( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proof-Theoretic and Higher-Order Extensions of Logic Programming.

, и . 25 Years GULP, том 6125 из Lecture Notes in Computer Science, Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alberto Fierro

Alberto Ricco

Alberto Moreira

Alberto Moreira

Alberto Moreira

 

Другие публикации лиц с тем же именем

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey., , и . J. Autom. Reason., 55 (4): 307-372 (2015)Cut elimination for a logic with induction and co-induction., и . J. Appl. Log., 10 (4): 330-367 (2012)Applying ASP to UML Model Validation., , , и . LPNMR, том 5753 из Lecture Notes in Computer Science, стр. 457-463. Springer, (2009)Mechanized metatheory model-checking., и . PPDP, стр. 75-86. ACM, (2007)Optimisation Validation., , и . COCV@ETAPS, том 176 из Electronic Notes in Theoretical Computer Science, стр. 37-59. Elsevier, (2006)Why Proof-Theory Matters in Specification-Based Testing.. ICTCS, том 2756 из CEUR Workshop Proceedings, стр. 95-100. CEUR-WS.org, (2020)The Blame Game for Property-based Testing., и . CILC, том 2396 из CEUR Workshop Proceedings, стр. 4-13. CEUR-WS.org, (2019)Regular Search Spaces and Constructive Negation., и . J. Log. Comput., 7 (3): 367-403 (1997)Towards a Type Discipline for Answer Set Programming., , и . TYPES, том 5497 из Lecture Notes in Computer Science, стр. 117-135. Springer, (2008)Induction and Co-induction in Sequent Calculus, и . CoRR, (2008)