Momigliano, Alberto

1. The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks
   2015/03/20 by Amy P. Felty, Amy Felty, Felty, Amy P. +4 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Natural Language Processing Techniques #cs.LO
2. Induction and Co-induction in Sequent Calculus
   2008/12/27 by Alwen Tiu, Alberto Momigliano, Tiu, Alwen +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
3. Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax
   2008/11/26 by Amy Felty, Felty, Amy, Alberto Momigliano +1 · 1 citation
   Computer Science · #F.4.1 #FOS: Computer and information sciences #I.2.3 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies #cs.LO