Person: Carl, Merlin
Loading...
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Carl
First Name
Merlin
Name
2 results
Search Results
Now showing 1 - 2 of 2
- PublicationJournal articleThe Bolzano-Weierstrass theorem in generalised analysis(2018) Carl, Merlin; Galeotti, Lorenzo; Löwe, BenediktPublished in: Houston Journal of Mathematics ; 44 (2018), 4. - pp. 1081-1109. - ISSN 0362-1588
- PublicationContribution to a conference collectionKoepke Machines and Satisfiability for Infinitary Propositional Languages(2017) Carl, Merlin; Löwe, Benedikt; Rin, Benjamin G.Published in: Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / Kari, Jarkko et al. (ed.). - Cham : Springer, 2017. - (Lecture Notes in Computer Science ; 10307). - pp. 187-197. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-58740-0