( en | de | ru )

 

Disambiguierung von "Schupp, Paul E."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Asymptotic density and computably Enumerable Sets.

, , und . J. Math. Log., 13 (2): 1350005 (2013)

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.

Paul Schupp

Paul E Logan

Ernst Schupp

Hellmuth Schupp

Alfons Schupp

 

Weitere Publikationen von Autoren mit dem selben Namen

Some Quantitative Aspects of Fractional Computability, und . CoRR, (2007)Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity., , und . ICALP, Volume 226 von Lecture Notes in Computer Science, Seite 275-283. Springer, (1986)Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics., , und . J. Math. Log., 24 (2): 2350005:1-2350005:76 (August 2024)Arrays, Automata and Groups: Some Interconnections.. Automata Networks, Volume 316 von Lecture Notes in Computer Science, Seite 19-28. Springer, (1986)Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time, , und . LICS, Seite 422-427. IEEE Computer Society, (1988)Asymptotic density and computably Enumerable Sets., , und . J. Math. Log., 13 (2): 1350005 (2013)Generic properties of Whitehead's Algorithm, stabilizers in Aut(Fk) and one-relator groups, , und . CoRR, (2003)Asymptotic Density and the Theory of Computability: A Partial Survey., und . Computability and Complexity, Volume 10010 von Lecture Notes in Computer Science, Seite 501-520. Springer, (2017)On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory., , und . ICCI, Seite 2-5. IEEE Computer Society, (1992)Computational complexity and the conjugacy problem., und . Comput., 6 (4): 307-318 (2017)