Alberto Momigliano: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations

Felty, Amy P., Momigliano, Alberto, Pientka, Brigitte

Journal:

Journal of Automated Reasoning

Year:

2015

Language:

english

File:

PDF, 10.44 MB

english, 2015

2

Cut elimination for a logic with induction and co-induction

Alwen Tiu, Alberto Momigliano

Journal:

Journal of Applied Logic

Year:

2012

Language:

english

File:

PDF, 510 KB

english, 2012

3

αCheck: A mechanized metatheory model checker

CHENEY, JAMES, MOMIGLIANO, ALBERTO

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 984 KB

english, 2017

4

Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4

Sticht, Martin, Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 409 KB

english, 2018

5

Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach*

Micalizio, Roberto, Pozzato, Gian Luca, Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 318 KB

english, 2018

6

A case study in programming coinductive proofs: Howe's method

MOMIGLIANO, ALBERTO, PIENTKA, BRIGITTE, THIBODEAU, DAVID

Journal:

Mathematical Structures in Computer Science

Year:

2018

Language:

english

File:

PDF, 1.34 MB

english, 2018

7

Preface

Alberto Momigliano, Brigitte Pientka

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 95 KB

english, 2007

8

Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax

Alberto Momigliano, Alan J. Martin, Amy P. Felty

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 248 KB

english, 2008

9

A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity

Alberto Momigliano, Simon J. Ambler, Roy L. Crole

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 195 KB

english, 2002

10

Preface: Volume 58, Issue 1

Simon J. Ambler, Roy L. Crole, Alberto Momigliano

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 42 KB

english, 2001

11

Hybrid

Amy Felty, Alberto Momigliano

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 1.04 MB

english, 2012

12

A Constructive Object Oriented Modeling Language for Information Systems

Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 384 KB

english, 2006

13

Optimisation Validation

David Aspinall, Lennart Beringer, Alberto Momigliano

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 438 KB

english, 2007

14

A program logic for resources

David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 610 KB

english, 2007

15

[ACM Press the 2003 workshop - Uppsala, Sweden (2003.08.26-..)] Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 - A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines

Momigliano, Alberto, Polakow, Jeff

Year:

2003

Language:

english

File:

PDF, 250 KB

english, 2003

16

Higher-order pattern complement and the strict λ-calculus

Momigliano, Alberto, Pfenning, Frank

Journal:

ACM Transactions on Computational Logic

Year:

2003

Language:

english

File:

PDF, 326 KB

english, 2003

17

[ACM Press the 9th ACM SIGPLAN international conference - Wroclaw, Poland (2007.07.14-2007.07.16)] Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07 - Mechanized metatheory model-checking

Cheney, James, Momigliano, Alberto

Year:

2007

Language:

english

File:

PDF, 272 KB

english, 2007

18

[ACM Press the seventh international workshop - Copenhagen, Denmark (2012.09.09-2012.09.09)] Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice - LFMTP '12 - A supposedly fun thing i may have to do again

Momigliano, Alberto

Year:

2012

Language:

english

File:

PDF, 454 KB

english, 2012

19

[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - Reasoning with hypothetical judgments and open terms in hybrid

Felty, Amy P., Momigliano, Alberto

Year:

2009

Language:

english

File:

PDF, 412 KB

english, 2009

20

[ACM Press the third international conference - Charleston, South Carolina, United States (1990..-..)] Proceedings of the third international conference on Industrial and engineering applications of artificial intelligence and expert systems - IEA/AIE '90 - A constraint satisfaction approach to operative management of aircraft routing

Torquati, Franco, Paltrinieri, Massimo, Momigliano, Alberto

Year:

1990

Language:

english

File:

PDF, 707 KB

english, 1990

21

Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions

FELTY, AMY, MOMIGLIANO, ALBERTO, PIENTKA, BRIGITTE

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 379 KB

english, 2017

22

Constraint Logic Programming with Polynomial Constraints over Finite Domains

Bergenti, Federico, Monica, Stefania, Rossi, Gianfranco, Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 269 KB

english, 2018

23

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning*

Chesani, Federico, Mello, Paola, De Masellis, Riccardo, Di Francescomarino, Chiara, Ghidini, Chiara, Montali, Marco, Tessaris, Sergio, Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 658 KB

english, 2018

24

Logic-based Verification of the Distributed Dining Philosophers Protocol

Delzanno, Giorgio, Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 221 KB

english, 2018

25

Extending Logic Programming with Labelled Variables: Model and Semantics

Calegari, Roberta, Denti, Enrico, Dovier, Agostino, Omicini, Andrea, Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 921 KB

english, 2018

26

ASP Based Generation of Information Terms for Constructive ɛℒ

Bozzato, Loris, Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 360 KB

english, 2018

27

Preface

Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, Alberto, Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 47 KB

english, 2018

28

POPLMark reloaded: Mechanizing proofs by logical relations

ABEL, ANDREAS, ALLAIS, GUILLAUME, HAMEER, ALIYA, PIENTKA, BRIGITTE, MOMIGLIANO, ALBERTO, SCHÄFER, STEVEN, STARK, KATHRIN

Journal:

Journal of Functional Programming

Year:

2019

File:

PDF, 1.48 MB

2019

29

A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic

Avellone, Alessandro, Fiorentini, Camillo, Momigliano, Alberto, Cantone, Domenico, Asmundo, Marianna Nicolosi, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2015

File:

PDF, 129 KB

2015