Zum Inhalt springen

Krennwallner, Thomas [VerfasserIn] ; Thomas Krennwallner [MitwirkendeR]

Promoting Modular Nonmonotonic Logic Programs

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Towards Incremental and Modular Context-Sensitive Analysis

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Modular Specification and Verification of Object-Oriented Programs

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Erschienen in: Lecture notes in computer science ; 2262
Weck, Wolfgang [VerfasserIn] ; Gutknecht, Jürg [Sonstige Person, Familie und Körperschaft]

Modular Programming Languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2000

Erschienen in: Lecture notes in computer science ; 189700
Böszörményi, László [VerfasserIn] ; Schojer, Peter [Sonstige Person, Familie und Körperschaft]

Modular Programming Languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

Erschienen in: Lecture notes in computer science ; 2789
Gutknecht, Jürg [VerfasserIn] ; Weck, Wolfgang [Sonstige Person, Familie und Körperschaft]

Modular Programming Languages : Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2000

Erschienen in: Lecture notes in computer science ; 1897
Lightfoot, David [Sonstige Person, Familie und Körperschaft]; Szyperski, Clemens [Sonstige Person, Familie und Körperschaft]

Modular Programming Languages : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Erschienen in: Lecture notes in computer science ; 4228
Böszörményi, László [VerfasserIn] ; Schojer, Peter [Sonstige Person, Familie und Körperschaft]

Modular Programming Languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2003

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

Leveraging Uniqueness for Modular Verification of Heap-Manipulating Programs

Online ansehen
Schließen

Links

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

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH Zurich, 2024
Fitting, Melvin

Enumeration operators and modular logic programming

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1987

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

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford University Press (OUP), 2017

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

Modular logic programming

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 1994

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

Logic Programming: Modular Nonmonotonic Logic Programming Revisited

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2009

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

Logic Programming: Relativized Hyperequivalence of Logic Programs for Modular Programming

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2008

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

Automata, Languages and Programming: Modular Markovian Logic

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Automata, Languages and Programming
Inclezan, Daniela

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2009

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

Algebraic and Logic Programming: Modular algebraic specifications

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1988

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

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1997

Erschienen 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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2017

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

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2015

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

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr