Monografie
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Diss., 2013
- Identifier
-
1033640344
Thema
Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
CAVA – A Verified Model Checker
Automatic Proofs and Refutations for Higher-Order Logic
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Proving Theorems of Higher-Order Logic with SMT Solvers
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Construction and stochastic applications of measure spaces in higher-order logic
An implementation for algorithmic game solving and its applications in system synthesis
Normalization of Horn Clauses with Disequality Constraints
Methods for the Diagnosis and Automatic Repair of Software Systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Frameworks for analyzing multi-threaded C
Generalized Petri Nets: Algorithms and Complexity
CAVA – A Verified Model Checker
Automatic Proofs and Refutations for Higher-Order Logic
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Proving Theorems of Higher-Order Logic with SMT Solvers
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Construction and stochastic applications of measure spaces in higher-order logic
An implementation for algorithmic game solving and its applications in system synthesis
Normalization of Horn Clauses with Disequality Constraints
Methods for the Diagnosis and Automatic Repair of Software Systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Frameworks for analyzing multi-threaded C
Generalized Petri Nets: Algorithms and Complexity
CAVA – A Verified Model Checker
Automatic Proofs and Refutations for Higher-Order Logic
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Proving Theorems of Higher-Order Logic with SMT Solvers
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Construction and stochastic applications of measure spaces in higher-order logic
An implementation for algorithmic game solving and its applications in system synthesis
Normalization of Horn Clauses with Disequality Constraints
Methods for the Diagnosis and Automatic Repair of Software Systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Frameworks for analyzing multi-threaded C