- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A Complete Uniform Substitution Calculus for Differential Dynamic Logic ; day:23 ; month:8 ; year:2016 ; pages:1-47
Journal of automated reasoning ; (23.8.2016), 1-47
- Creator
-
Platzer, André
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-016-9385-1
- URN
-
urn:nbn:de:1111-201609214396
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:50 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Platzer, André
- SpringerLink (Online service)
Other Objects (12)
The calculus of logic.
A Sound and Complete Tableaux Calculus for Reichenbach’s Quantum Mechanics Logic
Binary lambda calculus and combinatory logic
Note on the calculus of logic.
A Propositional Cirquent Calculus for Computability Logic
Linear logic and noncommutativity in the calculus of structures
Linear logic and noncommutativity in the calculus of structures
B2B relationship calculus: quantifying resource effects in service-dominant logic
A Stochastic Calculus Model of Continuous Trading: Complete Markets
A Tableau Calculus for Temporal Description Logic : The Constant Domain Case.
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic
Complete quadrics : Schubert calculus for Gaussian models and semidefinite programming
The calculus of logic.
A Sound and Complete Tableaux Calculus for Reichenbach’s Quantum Mechanics Logic
Binary lambda calculus and combinatory logic
Note on the calculus of logic.
A Propositional Cirquent Calculus for Computability Logic
Linear logic and noncommutativity in the calculus of structures
Linear logic and noncommutativity in the calculus of structures
B2B relationship calculus: quantifying resource effects in service-dominant logic
A Stochastic Calculus Model of Continuous Trading: Complete Markets
A Tableau Calculus for Temporal Description Logic : The Constant Domain Case.
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic
Complete quadrics : Schubert calculus for Gaussian models and semidefinite programming
The calculus of logic.
A Sound and Complete Tableaux Calculus for Reichenbach’s Quantum Mechanics Logic
Binary lambda calculus and combinatory logic
Note on the calculus of logic.
A Propositional Cirquent Calculus for Computability Logic
Linear logic and noncommutativity in the calculus of structures
Linear logic and noncommutativity in the calculus of structures
B2B relationship calculus: quantifying resource effects in service-dominant logic
A Stochastic Calculus Model of Continuous Trading: Complete Markets
A Tableau Calculus for Temporal Description Logic : The Constant Domain Case.
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic