( en | de | ru )

 

Disambiguierung von "Blass, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Unique Satisfiability Problem

, und . Inf. Control., 55 (1-3): 80-88 (Oktober 1982)

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ß

Uwe Blass

Eckhart Blaß

Regine Blaß

Georg Blaß

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Abstract State Machines and Pure Mathematics.. Abstract State Machines, Volume 1912 von Lecture Notes in Computer Science, Seite 9-21. Springer, (2000)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)On the Unique Satisfiability Problem, und . Inf. Control., 55 (1-3): 80-88 (Oktober 1982)Content-dependent chunking for differential compression, the local maximum approach., , und . J. Comput. Syst. Sci., 76 (3-4): 154-203 (2010)Adapting Logics.. LICS, Seite 123. IEEE Computer Society, (2006)Seven trees in one. J. Pure Appl. Algebra, 103 (1): 1--21 (1995)When are two algorithms the same?, , und . Bull. Symb. Log., 15 (2): 145-168 (2009)Equivalence relations, invariants, and normal forms., und . Logic and Machines, Volume 171 von Lecture Notes in Computer Science, Seite 24-42. Springer, (1983)