- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Journal of Logic and Analysis ; (2021), 13. - 3. - Department of Philosophy, Carnegie Mellon University. - ISSN 1759-9008
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
KOPS Universität Konstanz
- (wann)
-
2021
- Urheber
- URN
-
urn:nbn:de:bsz:352-2-1dezh6kqr1uhq7
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 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.
Beteiligte
- Carl, Merlin
- Krapp, Lothar Sebastian
- KOPS Universität Konstanz
Entstanden
- 2021
Ähnliche Objekte (12)
Models of true arithmetic are integer parts of nice real closed fields
Strong models of arithmetic
Verification of integer multipliers on the arithmetic bit level
Arithmetic functions and integer products
Satisfiability Modulo Exponential Integer Arithmetic
Stability of steady states in a model of pleasant monetarist arithmetic
Simple Integer Recourse Models
Inverse fuzzy arithmetic for the quality assessment of substructured models
Arithmetic geometric models for the renormalisation of irrationally indifferent attractors
Wild quotient singularities of arithmetic surfaces and their regular models
Convex approximations for a class of mixed-integer recourse models
Note on arithmetic models for consistent formulae of the predicate calculus
Models of true arithmetic are integer parts of nice real closed fields
Strong models of arithmetic
Verification of integer multipliers on the arithmetic bit level
Arithmetic functions and integer products
Satisfiability Modulo Exponential Integer Arithmetic
Stability of steady states in a model of pleasant monetarist arithmetic
Simple Integer Recourse Models
Inverse fuzzy arithmetic for the quality assessment of substructured models
Arithmetic geometric models for the renormalisation of irrationally indifferent attractors
Wild quotient singularities of arithmetic surfaces and their regular models
Convex approximations for a class of mixed-integer recourse models
Note on arithmetic models for consistent formulae of the predicate calculus
Models of true arithmetic are integer parts of nice real closed fields
Strong models of arithmetic
Verification of integer multipliers on the arithmetic bit level
Arithmetic functions and integer products
Satisfiability Modulo Exponential Integer Arithmetic
Stability of steady states in a model of pleasant monetarist arithmetic
Simple Integer Recourse Models
Inverse fuzzy arithmetic for the quality assessment of substructured models
Arithmetic geometric models for the renormalisation of irrationally indifferent attractors
Wild quotient singularities of arithmetic surfaces and their regular models
Convex approximations for a class of mixed-integer recourse models