Sfoglia per Autore
A constraint satisfaction approach to operative management of aircraft routing
1990 F. Torquati, M. Paltrinieri, A. Momigliano
Minimal negation and Hereditary Harrop formulae
1992 A. Momigliano
Regular search spaces as a foundation of logic programming
1994 A. Momigliano, E. Ornaghi
Constraint-based aircraft routing
1995 M. Paltrinieri, A. Momigliano, F. Torquati
Regular search spaces and constructive negation
1997 A. Momigliano, M. Ornaghi
Towards a Logic for Reasoning About Logic Programs Transformation
1998 A. Momigliano, M. Ornaghi
The relative complement problem for higher-order patterns
1999 A. Momigliano, F. Pfenning
Elimination of Negation in a Logical Framework
2000 A. Momigliano
Preface
2001 S.J. Ambler, R.L. Crole, A. Momigliano
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction
2002 S.J. Ambler, R.L. Crole, A. Momigliano
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
2002 A. Momigliano, S. Ambler, R.L. Crole
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
2003 A. Momigliano, J. Polakow
A definitional approach to primitive recursion over higher order abstract syntax
2003 S.J. Ambler, R.L. Crole, A. Momigliano
Higher-order pattern complement and the strict lambda-calculus
2003 A. Momigliano, F. Pfenning
Multi-level Meta-reasoning with Higher-Order Abstract Syntax
2003 A. Momigliano, S.J. Ambler
A program logic for resource verification
2004 D. Aspinall, L. Beringer, M. Hofmann, H. Loidl, A. Momigliano
Induction and Co-induction in Sequent Calculus
2004 A. Momigliano, A. Tiu
Snapshots generation via constructive logic
2005 M. Ornaghi, C. Fiorentini, A. Momigliano
Constructive specifications for compositional units
2005 K.-K. Lau, A. Momigliano, M. Ornaghi
Automatic Certification of Heap Consumption
2005 L. Beringer, M. Hofmann, A. Momigliano, O. Shkaravska
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile