( en | de | ru )

 

Disambiguierung von "Blass, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Algorithms: A Quest for Absolute Definitions

, und . Church's Thesis After 70 Years, (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.

Andreas Blaß

J Blaß

Uwe Blass

Eckhart Blaß

Regine Blaß

 

Weitere Publikationen von Autoren mit dem selben Namen

Content-dependent chunking for differential compression, the local maximum approach., , und . J. Comput. Syst. Sci., 76 (3-4): 154-203 (2010)On the Unique Satisfiability Problem, und . Inf. Control., 55 (1-3): 80-88 (Oktober 1982)Inadequacy of computable loop invariants., und . ACM Trans. Comput. Log., 2 (1): 1-11 (2001)The interaction between category theory and set theory. Contemporary Mathematics, (1984)Existential Fixed-Point Logic as a Fragment of Second-Order Logic.. Fields of Logic and Computation II, Volume 9300 von Lecture Notes in Computer Science, Seite 52-68. Springer, (2015)Abstract State Machines and Pure Mathematics.. Abstract State Machines, Volume 1912 von Lecture Notes in Computer Science, Seite 9-21. Springer, (2000)Adapting Logics.. LICS, Seite 123. IEEE Computer Society, (2006)Graphs with unique maximal clumpings.. J. Graph Theory, 2 (1): 19-24 (1978)Equivalence relations, invariants, and normal forms., und . Logic and Machines, Volume 171 von Lecture Notes in Computer Science, Seite 24-42. Springer, (1983)Functional Thesauri, Classifying Topoi, Unification, and Flatness.. Fields of Logic and Computation III, Volume 12180 von Lecture Notes in Computer Science, Seite 46-56. Springer, (2020)