- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
An Approximation Framework for Solvers and Decision Procedures ; day:10 ; month:11 ; year:2016 ; pages:1-21
Journal of automated reasoning ; (10.11.2016), 1-21
- Creator
-
Zeljić, Aleksandar
- Contributor
-
Wintersteiger, Christoph M.
Rümmer, Philipp
SpringerLink (Online service)
- DOI
-
10.1007/s10817-016-9393-1
- URN
-
urn:nbn:de:1111-2016120314698
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:59 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
- Zeljić, Aleksandar
- Wintersteiger, Christoph M.
- Rümmer, Philipp
- SpringerLink (Online service)
Other Objects (12)
Approximation procedures in nonlinear oscillation theory
Stochastic Approximation Procedures for Lévy-Driven SDEs
Optimal sequentially planned decision procedures
Decision procedures for linear arithmetic
Decision procedures for loop detection
Hierarchic decision procedures for verification
The Decision Problem for Effective Procedures
Executive summary : [deduction and decision procedures]
Group Duties Without Decision-Making Procedures
Simple decision procedures: an expository paper
A framework for parallel PDE solvers on multiscale adaptive cartesian grids
Coupling of shallow and non-shallow flow solvers : an open source framework
Approximation procedures in nonlinear oscillation theory
Stochastic Approximation Procedures for Lévy-Driven SDEs
Optimal sequentially planned decision procedures
Decision procedures for linear arithmetic
Decision procedures for loop detection
Hierarchic decision procedures for verification
The Decision Problem for Effective Procedures
Executive summary : [deduction and decision procedures]
Group Duties Without Decision-Making Procedures
Simple decision procedures: an expository paper
A framework for parallel PDE solvers on multiscale adaptive cartesian grids
Coupling of shallow and non-shallow flow solvers : an open source framework
Approximation procedures in nonlinear oscillation theory
Stochastic Approximation Procedures for Lévy-Driven SDEs
Optimal sequentially planned decision procedures
Decision procedures for linear arithmetic
Decision procedures for loop detection
Hierarchic decision procedures for verification
The Decision Problem for Effective Procedures
Executive summary : [deduction and decision procedures]
Group Duties Without Decision-Making Procedures
Simple decision procedures: an expository paper
A framework for parallel PDE solvers on multiscale adaptive cartesian grids