Expressing and verifying business contracts with abductive logic programming
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
[Wadern]
- (wer)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (wann)
-
[2007]
- Beteiligte Personen und Organisationen
-
Alberti, Marco
Chesani, Federico
Gavanelli, Marco
Lamma, Evelina
Mello, Paola
Montali, Marco
Torroni, Paolo
- URN
-
urn:nbn:de:0030-drops-9017
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:55 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Alberti, Marco
- Chesani, Federico
- Gavanelli, Marco
- Lamma, Evelina
- Mello, Paola
- Montali, Marco
- Torroni, Paolo
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Entstanden
- [2007]
Ähnliche Objekte (12)
Verifying Linearizability and Lock-Freedom with Temporal Logic
Expressing and verifying temporal and structural properties of mobile agents
Logic programming : proceedings
Verifying a Stack with Hazard Pointers in Temporal Logic
Expander : a system for testing and verifying functional logic programs
Reasoning with logic programming
Logic programming and databases
Foundations of logic programming
Foundations of logic programming
Logic Programming with Prolog
Laziness in logic programming
Records for logic programming
Verifying Linearizability and Lock-Freedom with Temporal Logic
Expressing and verifying temporal and structural properties of mobile agents
Logic programming : proceedings
Verifying a Stack with Hazard Pointers in Temporal Logic
Expander : a system for testing and verifying functional logic programs
Reasoning with logic programming
Logic programming and databases
Foundations of logic programming
Foundations of logic programming
Logic Programming with Prolog
Laziness in logic programming
Records for logic programming
Verifying Linearizability and Lock-Freedom with Temporal Logic
Expressing and verifying temporal and structural properties of mobile agents
Logic programming : proceedings
Verifying a Stack with Hazard Pointers in Temporal Logic
Expander : a system for testing and verifying functional logic programs
Reasoning with logic programming
Logic programming and databases
Foundations of logic programming
Foundations of logic programming
Logic Programming with Prolog
Laziness in logic programming