- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Deciding floating-point logic with abstract conflict driven clause learning ; volume:45 ; number:2 ; day:20 ; month:12 ; year:2013 ; pages:213-245 ; date:10.2014
Formal methods in system design ; 45, Heft 2 (20.12.2013), 213-245, 10.2014
- Urheber
-
Brain, Martin
D’Silva, Vijay
Griggio, Alberto
Haller, Leopold
Kroening, Daniel
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-013-0203-7
- URN
-
urn:nbn:de:101:1-2019120102042032931627
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:57 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
- Brain, Martin
- D’Silva, Vijay
- Griggio, Alberto
- Haller, Leopold
- Kroening, Daniel
- SpringerLink (Online service)
Ähnliche Objekte (12)
Deciding to distrust
Deciding orthogonal bisimulation
Operational semantics of resolution and productivity in Horn clause logic
Deciding fast and slow
Deciding active structural completeness
DECIDING ON WHAT TO DECIDE
Deciding EA-equivalence via invariants
Deciding for others reduces loss aversion
Deciding for Others Reduces Loss Aversion
Deciding Properties of Contract-Signing Protocols
Horn clause specifications : a uniform framework for abstract data types and logic programming
On a notion of abduction and relevance for first-order logic clause sets
Deciding to distrust
Deciding orthogonal bisimulation
Operational semantics of resolution and productivity in Horn clause logic
Deciding fast and slow
Deciding active structural completeness
DECIDING ON WHAT TO DECIDE
Deciding EA-equivalence via invariants
Deciding for others reduces loss aversion
Deciding for Others Reduces Loss Aversion
Deciding Properties of Contract-Signing Protocols
Horn clause specifications : a uniform framework for abstract data types and logic programming
On a notion of abduction and relevance for first-order logic clause sets
Deciding to distrust
Deciding orthogonal bisimulation
Operational semantics of resolution and productivity in Horn clause logic
Deciding fast and slow
Deciding active structural completeness
DECIDING ON WHAT TO DECIDE
Deciding EA-equivalence via invariants
Deciding for others reduces loss aversion
Deciding for Others Reduces Loss Aversion
Deciding Properties of Contract-Signing Protocols
Horn clause specifications : a uniform framework for abstract data types and logic programming