Autor der Publikation

Remarks on Sigma-definability without the equality test over the Reals.

, und . CCA, Volume 202 von Electronic Notes in Theoretical Computer Science, Seite 305-313. Elsevier, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Computable elements and functions in effectively enumerable topological spaces., und . Math. Struct. Comput. Sci., 27 (8): 1466-1494 (2017)On the computability of ordered fields., und . CoRR, (2020)Generalised Computability and Applications to Hybrid Systems., und . Ershov Memorial Conference, Volume 2244 von Lecture Notes in Computer Science, Seite 494-499. Springer, (2001)Highlights of the Rice-Shapiro Theorem in Computable Topology., und . Ershov Informatics Conference, Volume 10742 von Lecture Notes in Computer Science, Seite 241-255. Springer, (2017)Gandy's Theorem for Abstract Structures without the Equality Test.. LPAR, Volume 2850 von Lecture Notes in Computer Science, Seite 290-301. Springer, (2003)Satisfiability of Viability Constraints for Pfaffian Dynamics., und . Ershov Memorial Conference, Volume 4378 von Lecture Notes in Computer Science, Seite 260-269. Springer, (2006)The Rice-Shapiro theorem in Computable Topology., und . Logical Methods in Computer Science, (2017)Index Sets as a Measure of Continuous Constraint Complexity., und . Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 201-215. Springer, (2014)Complexity for partial computable functions over computable Polish spaces., und . Math. Struct. Comput. Sci., 28 (3): 429-447 (2018)On sigma-definability without equality over the real numbers., und . Math. Log. Q., 54 (5): 535-544 (2008)