Skip to contents

Gabbrielli, Maurizio [Editor] ; ICLP 21 2005 Sitges

Logic programming : 21th international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3668
Gabbrielli, Maurizio [Author]

Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming

View online
Schließen

Access

https://dl.acm.org/action/showBook?doi=10.1145/3414080

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York,NY,United States: Association for Computing Machinery, 2020

Published in: ACM Other conferences- ACM Digital Library
Gabbrielli, Maurizio [Author] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=351268

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2000

Published in: ACM Digital Library- ACM Conferences
Gabbrielli, Maurizio [Editor]

Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers - [1st ed. 2020.]

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

Published in: Theoretical Computer Science and General Issues ; 12042- Springer eBook Collection
Gabbrielli, Maurizio [Author]; Martini, Simone [Author]

Programming Languages: Principles and Paradigms - [2nd ed. 2023.]

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2023. ; Cham: Imprint: Springer, 2023.

Published in: Undergraduate Topics in Computer Science
Gabbrielli, Maurizio [Other]; Gupta, Gopal [Other]

Logic Programming (vol. # 3668) : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3668
Gall, Daniel [Author] ; Frühwirth, Thom [Contributor]; Abdennadher, Slim [Contributor]; Gabbrielli, Maurizio [Contributor]

Analysis of cognitive models in constraint handling rules

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Ulm, 2021-08-18T14:17:58Z
Boer, Frank S. de [Editor]; Mauro, Jacopo [Editor]; Gabbrielli, Maurizio [Honoree] ; Recent Developments in the Design and Implementation of Programming Languages Veranstaltung 2020 Online

Recent Developments in the Design and Implementation of Programming Languages : Gabbrielli's festschrift, November 27, 2020, Bologna, Italy

View online
Schließen

Access

https://www.dagstuhl.de/dagpub/978-3-95977-171-9

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, November, 2020

Published in: Open access series in informatics ; 86
Dorai, Gokila [Author]; Gabbrielli, Maurizio [Author]; Manzonetto, Giulio [Author]; Osmani, Aomar [Author]; Prandini, Marco [Author]; Zavattaro, Gianluigi [Author]; Zimmermann, Olaf [Author] ; Gokila Dorai and Maurizio Gabbrielli and Giulio Manzonetto and Aomar Osmani and Marco Prandini and Gianluigi Zavattaro and Olaf Zimmermann [Contributor]

Front Matter, Table of Contents, Preface, Conference Organization

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Dorai, Gokila [Author]; Gabbrielli, Maurizio [Author]; Manzonetto, Giulio [Author]; Osmani, Aomar [Author]; Prandini, Marco [Author]; Zavattaro, Gianluigi [Author]; Zimmermann, Olaf [Author] ; Gokila Dorai and Maurizio Gabbrielli and Giulio Manzonetto and Aomar Osmani and Marco Prandini and Gianluigi Zavattaro and Olaf Zimmermann [Contributor]

OASIcs, Volume 111, Microservices 2020/2022, Complete Volume

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Dorai, Gokila [Editor]; Gabbrielli, Maurizio [Editor]; Manzonetto, Giulio [Editor]; Osmani, Aomar [Editor]; Prandini, Marco [Editor]; Zavattaro, Gianluigi [Editor]; Zimmermann, Olaf [Editor] ; Microservices Veranstaltung 3. 2020 Online, Microservices Veranstaltung 4. 2022 Paris

Joint post-proceedings of the Third and Fourth International Conference on Microservices : Microservices 2020, September 2020, virtual meeting/Microservices 2022, May 2022, Paris, France

View online
Schließen

Access

https://nbn-resolving.org/urn:nbn:de:0030-drops-194618

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, December, 2023

Published in: Open access series in informatics ; 111
Gabbrielli, Maurizio

Introduction to algorithms in pascal

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1998

Published in: Science of Computer Programming
Delzanno, Giorgio; Gabbrielli, Maurizio

Automata, Languages and Programming: Compositional Verification of Asynchronous Processes via Constraint Solving

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Automata, Languages and Programming
Etalle, Sandro; Gabbrielli, Maurizio

Layered modes

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1999

Published in: The Journal of Logic Programming
Gabbrielli, Maurizio; Levi, Giorgio

Automata, Languages and Programming: On the semantics of logic programs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1991

Published in: Automata, Languages and Programming
Brogi, Antonio; Gabbrielli, Maurizio

Programming Language Implementation and Logic Programming: Constraints for synchronizing coarse-grained sequential logic processes

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1991

Published in: Programming Language Implementation and Logic Programming
Gabbrielli, Maurizio; Levi, Giorgio

TAPSOFT '91: A solved form algorithm for ask and tell Herbrand constraints

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1991

Published in: TAPSOFT '91
Gabbrielli, Maurizio; Levi, Giorgio

Unfolding and fixpoint semantics of concurrent constraint logic programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1992

Published in: Theoretical Computer Science
Gabbrielli, Maurizio; Levi, Giorgio

Algebraic and Logic Programming: Unfolding and fixpoint semantics of concurrent constraint logic programs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1990

Published in: Algebraic and Logic Programming
Gabbrielli, Maurizio; Meo, Maria Chiara

A compositional semantics for CHR

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2009

Published in: ACM Transactions on Computational Logic

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication