Monografie
Extending the automatic theorem prover nanoCoP with arithmetic procedures
- Sprache
-
Englisch
- Identifier
-
1307173195
Beteiligte Personen und Organisationen
- DOI
-
10.25932/publishup-57619
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
07.12.2023, 15:21 MEZ
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.
Objekttyp
- Monografie
Beteiligte
- Repp, Leo
- Kreitz, Christoph
- Frank, Mario
- Kreitz, Christoph
- Frank, Mario
Ähnliche Objekte (12)
Extending automatic theorem proving by planning
Decision procedures for linear arithmetic
A theorem in Arithmetic.
On axiomizing and extending the quasi-arithmetic mean
An Impossibility Theorem on Extending Orders
Finiteness theorems in arithmetic: An application of Herbrand's theorem for ...
12. Reciprocity; Gauss' Theorem of the Arithmetic Mean.
Safely extending procedure types to allow nested procedures as values
Safely extending procedure types to allow nested procedures as values
Automatic abstraction for bit-vectors using decision procedures
Automatic abstraction for bit-vectors using decision procedures
A regularized arithmetic Riemann-Roch theorem via metric degeneration
Extending automatic theorem proving by planning
Decision procedures for linear arithmetic
A theorem in Arithmetic.
On axiomizing and extending the quasi-arithmetic mean
An Impossibility Theorem on Extending Orders
Finiteness theorems in arithmetic: An application of Herbrand's theorem for ...
12. Reciprocity; Gauss' Theorem of the Arithmetic Mean.
Safely extending procedure types to allow nested procedures as values
Safely extending procedure types to allow nested procedures as values
Automatic abstraction for bit-vectors using decision procedures
Automatic abstraction for bit-vectors using decision procedures
A regularized arithmetic Riemann-Roch theorem via metric degeneration
Extending automatic theorem proving by planning
Decision procedures for linear arithmetic
A theorem in Arithmetic.
On axiomizing and extending the quasi-arithmetic mean
An Impossibility Theorem on Extending Orders
Finiteness theorems in arithmetic: An application of Herbrand's theorem for ...
12. Reciprocity; Gauss' Theorem of the Arithmetic Mean.
Safely extending procedure types to allow nested procedures as values
Safely extending procedure types to allow nested procedures as values
Automatic abstraction for bit-vectors using decision procedures
Automatic abstraction for bit-vectors using decision procedures