Skip to contents

Krennwallner, Thomas [Author] ; Thomas Krennwallner [Contributor]

Promoting Modular Nonmonotonic Logic Programs

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Garcia-Contreras, Isabel [Author]; Morales, José F. [Author]; Hermenegildo, Manuel V. [Author] ; Isabel Garcia-Contreras and José F. Morales and Manuel V. Hermenegildo [Contributor]

Towards Incremental and Modular Context-Sensitive Analysis

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Müller, Peter [Author]

Modular Specification and Verification of Object-Oriented 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.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Published in: Lecture notes in computer science ; 2262
Weck, Wolfgang [Author] ; Gutknecht, Jürg [Other]

Modular Programming Languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. 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, 2000

Published in: Lecture notes in computer science ; 189700
Böszörményi, László [Author] ; Schojer, Peter [Other]

Modular Programming Languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, 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, 2003

Published in: Lecture notes in computer science ; 2789
Gutknecht, Jürg [Author] ; Weck, Wolfgang [Other]

Modular Programming Languages : Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 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, 2000

Published in: Lecture notes in computer science ; 1897
Lightfoot, David [Other]; Szyperski, Clemens [Other]

Modular Programming Languages : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, 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, 2006

Published in: Lecture notes in computer science ; 4228
Böszörményi, László [Author] ; Schojer, Peter [Other]

Modular Programming Languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003. 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, 2003

Published in: Lecture notes in computer science ; 278900
Astrauskas, Vytautas [Author] ; Müller, Peter [Contributor]; Marché, Claude [Contributor]; Summers, Alexander J. [Contributor]; Vechev, Martin [Contributor]

Leveraging Uniqueness for Modular Verification of Heap-Manipulating Programs

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/677234

Show more show less

Close

Bookmarks

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

ETH Zurich, 2024
Fitting, Melvin

Enumeration operators and modular logic programming

View online
Schließen

Access

Close

Bookmarks

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

Elsevier BV, 1987

Published in: The Journal of Logic Programming
Börger, Egon

The abstract state machines method for modular design and analysis of programming languages

View online
Schließen

Access

Close

Bookmarks

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

Oxford University Press (OUP), 2017

Published in: Journal of Logic and Computation
Brogi, Antonio; Mancarella, Paolo; Pedreschi, Dino; Turini, Franco

Modular logic programming

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), 1994

Published in: ACM Transactions on Programming Languages and Systems
Dao-Tran, Minh; Eiter, Thomas; Fink, Michael; Krennwallner, Thomas

Logic Programming: Modular Nonmonotonic Logic Programming Revisited

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, 2009

Published in: Logic Programming
Truszczyński, Mirosław; Woltran, Stefan

Logic Programming: Relativized Hyperequivalence of Logic Programs for Modular Programming

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, 2008

Published in: Logic Programming
Cardelli, Luca; Larsen, Kim G.; Mardare, Radu

Automata, Languages and Programming: Modular Markovian Logic

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, 2011

Published in: Automata, Languages and Programming
Inclezan, Daniela

Logic Programming: Modular Action Language ${\cal ALM}$

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, 2009

Published in: Logic Programming
Hansen, Horst; Löwe, Michael

Algebraic and Logic Programming: Modular algebraic specifications

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, 1988

Published in: Algebraic and Logic Programming
Eiter, Thomas; Gottlob, Georg; Veith, Helmut

Logic Programming And Nonmonotonic Reasoning: Modular logic programming and generalized quantifiers

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, 1997

Published in: Logic Programming And Nonmonotonic Reasoning
Ben-Eliyahu-Zohary, Rachel; Angiulli, Fabrizio; Fassetti, Fabio; Palopoli, Luigi

Logic Programming and Nonmonotonic Reasoning: Modular Construction of Minimal Models

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 International Publishing, 2017

Published in: Logic Programming and Nonmonotonic Reasoning
Cervesato, Iliano; Lam, Edmund S. L.

Logic for Programming, Artificial Intelligence, and Reasoning: Modular Multiset Rewriting

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, 2015

Published in: Logic for Programming, Artificial Intelligence, and Reasoning

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