MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Alberto Momigliano" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 12 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Induction and Co-induction in Sequent Calculus  
  • by Alberto Momigliano, Alwen Tiu — 2003 — In Mario Coppo Stefano Berardi and Ferruccio Damiani, editors, Post-proceedings of TYPES 2003, number 3085 in LNCS, pages 293 – 308
  • …Induction and Co-induction in Sequent Calculus Alberto Momigliano 1,2 and Alwen Tiu 3,4 1 LFCS…
  • Cited by 12 (4 self) – Add To MetaCart
  • Towards Certificate Generation for Linear Heap Consumption  
  • by Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska — 2004 — In Proceedings of the ICALP/LICS Workshop on Logics for Resources, Processes, and Programs (LRPP2004
  • … , Alberto Momigliano 1 , Olha Shkaravska 2 1 Laboratory for Foundations of Computer Science, The University…
  • Cited by 2 (2 self) – Add To MetaCart
  • Automatic Certification of Heap Consumption  
  • by Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska — 2005 — In Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004
  • …Automatic Certification of Heap Consumption Lennart Beringer 1 , Martin Hofmann 2 , Alberto…
  • Cited by 12 (4 self) – Add To MetaCart
  • Higher-Order Pattern Disuni  
  • by Cation Revisited Alberto, Alberto Momigliano
  • …Higher-Order Pattern Disunication Revisited Alberto Momigliano Department of Mathematics…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB