Peter Hertling | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Gisela Krommes
2 publications
Philip Janicki
1 publication

research

∙ 01/19/2023

Nearly Computable Real Numbers

In this article we call a sequence (a_n)_n of elements of a metric space...

0 Peter Hertling, et al. ∙

research

∙ 08/09/2019

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness

It is known that the satisfiability problems of the product logics K4xS5...

0 Peter Hertling, et al. ∙

research

∙ 08/09/2019

EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms

It is known that the satisfiability problems of the product logics K4xS5...

0 Peter Hertling, et al. ∙