PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Schmidt-Schauß, Manfred"

Author of the publication

copydeleteadd this publication to your clipboard
Parameter Reduction in Grammar-Compressed Trees.

, , and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 212-226. Springer, (2009)

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.

Manfred Bischoff

Simon Schmidt University of Stuttgart

Dr. Dietmar Schmidt University of Stuttgart

Carlo Schmidt University of Stuttgart

Univ. -Prof. Dr. -Ing. Manfred Bischoff University of Stuttgart

 

Other publications of authors with the same name

Bericht zur 9th Conference on Automated Deduction., and . KI, 2 (4): 18-19 (1988)Closures of may-, should- and must-convergences for contextual equivalence., and . Inf. Process. Lett., 110 (6): 232-235 (2010)Natural Expert: A Commercial Functional Programming Environment., , , and . J. Funct. Program., 7 (2): 163-182 (1997)Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures., , , and . Electr. Notes Theor. Comput. Sci., (2007)On Equational Theories, Unification, and (Un)Decidability., , and . J. Symb. Comput., 8 (1/2): 3-49 (1989)Unification and matching on compressed terms., , and . ACM Trans. Comput. Log., 12 (4): 26:1-26:37 (2011)Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq., , and . Logical Methods in Computer Science, (2015)Unification in Boolean Rings and Abelian Groups., , and . J. Symb. Comput., 8 (5): 449-477 (1989)Monadic Second-Order Unification Is NP-Complete., , and . RTA, volume 3091 of Lecture Notes in Computer Science, page 55-69. Springer, (2004)An Algorithm for Distributive Unification.. RTA, volume 1103 of Lecture Notes in Computer Science, page 287-301. Springer, (1996)