KOPS
English
Deutsch
Log In
User Name
Password
Log in
Please contact the KOPS team if you do not have a user account at the University of Konstanz (kops.kim@uni-konstanz.de)
Have you forgotten your password?
KOPS
Departments
All of DSpace
English
Deutsch
Log In
User Name
Password
Log in
Please contact the KOPS team if you do not have a user account at the University of Konstanz (kops.kim@uni-konstanz.de)
Have you forgotten your password?
Home
Ressourcen
Personen
Carl, Merlin
Person:
Carl, Merlin
Loading...
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Carl
First Name
Merlin
Name
2 results
Back to results
Filters
Type
Journal article
2
Search type
Submit
Author
Carl, Merlin
2
Krapp, Lothar Sebastian
1
Rin, Benjamin
1
Schlicht, Philipp
1
Search author name
Submit
Date
Start
End
Submit
2020 - 2021
2
Has files
Yes
2
Reset filters
Settings
Sort By
Most Relevant
Title Ascending
Date Issued Descending
Accessioned Date Descending
Results per page
1
5
10
20
40
60
80
100
All of DSpace
Search
Start date: 2020
×
End date: 2021
×
Search Tools
Search Results
Export
BibTeX
CSV
Now showing
1 - 2 of 2
Loading...
Publication
Journal article
Models of true arithmetic are integer parts of models of real exponentation
(
2021
)
Carl, Merlin
;
Krapp, Lothar Sebastian
Published in: Journal of Logic and Analysis ; (2021), 13. - 3. - Department of Philosophy, Carnegie Mellon University. - ISSN 1759-9008
(319.27 KB)
Loading...
Publication
Journal article
Reachability for infinite time Turing machines with long tapes
(
2020
)
Carl, Merlin
;
Rin, Benjamin
;
Schlicht, Philipp
Published in: Logical Methods in Computer Science ; 16 (2020), 2. - International Federation for Computational Logic (IFCoLog) ; TU Braunschweig. - eISSN 1860-5974
(439.78 KB)
