( en | de | ru )

 

Disambiguation of "Blass, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
MSR-TR-2008-20: When are two algorithms the same?

, , and . Microsoft Research, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Blaß

J Blaß

Eckhart Blaß

Regine Blaß

Georg Blaß

 

Other publications of authors with the same name

Content-dependent chunking for differential compression, the local maximum approach., , and . J. Comput. Syst. Sci., 76 (3-4): 154-203 (2010)On the Unique Satisfiability Problem, and . Inf. Control., 55 (1-3): 80-88 (October 1982)Inadequacy of computable loop invariants., and . 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 of Lecture Notes in Computer Science, page 52-68. Springer, (2015)Abstract State Machines and Pure Mathematics.. Abstract State Machines, volume 1912 of Lecture Notes in Computer Science, page 9-21. Springer, (2000)Adapting Logics.. LICS, page 123. IEEE Computer Society, (2006)Functional Thesauri, Classifying Topoi, Unification, and Flatness.. Fields of Logic and Computation III, volume 12180 of Lecture Notes in Computer Science, page 46-56. Springer, (2020)When are two algorithms the same?, , and . Bull. Symb. Log., 15 (2): 145-168 (2009)Equivalence relations, invariants, and normal forms., and . Logic and Machines, volume 171 of Lecture Notes in Computer Science, page 24-42. Springer, (1983)