IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 60
Titolo Data di pubblicazione Autori Tipo File Abstract
A constraint satisfaction approach to operative management of aircraft routing 1990 A. Momigliano + Book Part (author) -
Minimal negation and Hereditary Harrop formulae 1992 A. Momigliano Book Part (author) -
Regular search spaces as a foundation of logic programming 1994 A. MomiglianoORNAGHI, ELISA Book Part (author) -
Constraint-based aircraft routing 1995 A. Momigliano + Article (author) -
Regular search spaces and constructive negation 1997 A. MomiglianoM. Ornaghi Article (author) -
Towards a Logic for Reasoning About Logic Programs Transformation 1998 A. MomiglianoM. Ornaghi Book Part (author) -
The relative complement problem for higher-order patterns 1999 A. Momigliano + Book Part (author) -
Elimination of Negation in a Logical Framework 2000 A. Momigliano Book Part (author) -
Preface 2001 A. Momigliano + Article (author) -
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity 2002 A. Momigliano + Article (author) -
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction 2002 A. Momigliano + Book Part (author) -
Higher-order pattern complement and the strict lambda-calculus 2003 A. Momigliano + Article (author) -
Multi-level Meta-reasoning with Higher-Order Abstract Syntax 2003 A. Momigliano + Book Part (author) -
A definitional approach to primitive recursion over higher order abstract syntax 2003 A. Momigliano + Book Part (author) -
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines 2003 A. Momigliano + Book Part (author) -
Induction and Co-induction in Sequent Calculus 2004 A. Momigliano + Book Part (author) -
A program logic for resource verification 2004 A. Momigliano + Book Part (author) -
Snapshots generation via constructive logic 2005 M. OrnaghiC. FiorentiniA. Momigliano Conference Object -
Constructive specifications for compositional units 2005 A. MomiglianoM. Ornaghi + Book Part (author) -
Automatic Certification of Heap Consumption 2005 A. Momigliano + Book Part (author) -
Mostrati risultati da 1 a 20 di 60
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