Login / Signup
Nils Köpp
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Horn Clauses
Real Numbers
Methods Require
Binary Representation
Top Venues
CoRR
Log. Methods Comput. Sci.
Theor. Comput. Sci.
</>
Publications
</>
Nils Köpp
,
Helmut Schwichtenberg
Lookahead analysis in exact real arithmetic with logical methods.
Theor. Comput. Sci.
943 (2023)
Nils Köpp
,
Iosif Petrakis
Strong negation in the theory of computable functionals TCF.
CoRR
(2022)
Franziskus Wiesnet
,
Nils Köpp
Limits of real numbers in the binary signed digit representation.
Log. Methods Comput. Sci.
18 (3) (2022)