Nils Köpp

According to our database, Nils Köpp authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Lookahead analysis in exact real arithmetic with logical methods.

Nils Köpp, Helmut Schwichtenberg

Theor. Comput. Sci., 2023

2022

Limits of real numbers in the binary signed digit representation.

Franziskus Wiesnet, Nils Köpp

Log. Methods Comput. Sci., 2022

Strong negation in the theory of computable functionals TCF.

Nils Köpp, Iosif Petrakis

CoRR, 2022