( en | de | ru )

 

Disambiguierung von "Spreen, Dieter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Coinductive Approach to Computing with Compact Sets.

, und . CoRR, (2015)

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.

Heinz-Dieter Spreen

Gunnar Spreen

Otfried Spreen

Jürgen Spreen

Hado Spreen

 

Weitere Publikationen von Autoren mit dem selben Namen

Can Partial Indexings be Totalized?. J. Symb. Log., 66 (3): 1157-1185 (2001)Information Systems with Witnesses: The Function Space Construction.. CoRR, (2017)Computable One-to-one Enumerations of Effective Domains.. MFPS, Volume 298 von Lecture Notes in Computer Science, Seite 372-384. Springer, (1987)Concurrent Gaussian elimination., , , und . CoRR, (2023)On the Equivalence Problem in Automata Theory: A Uniform Approach.. Elektronische Informationsverarbeitung und Kybernetik, 24 (1/2): 31-50 (1988)On the Power of Single-Valued Nondeterministic Polynomial Time Computations., und . Computation Theory and Logic, Volume 270 von Lecture Notes in Computer Science, Seite 403-414. Springer, (1987)On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations.. CSL, Volume 329 von Lecture Notes in Computer Science, Seite 289-303. Springer, (1987)An Isomorphism Theorem for Partial Numberings.. Logic, Computation, Hierarchies, Volume 4 von Ontos Mathematical Logic, De Gruyter, (2014)A note on partial numberings., und . Math. Log. Q., 51 (2): 129-136 (2005)Duality in Computer Science (Dagstuhl Seminar 13311)., , , und . Dagstuhl Reports, 3 (7): 54-73 (2013)