Manfred Schmidt-Schau{\ss}

Identifiers

• name variant Manfred Schmidt-Schau{\ss} 0.60 · backfill

Papers (3)

1. Towards Correctness of Program Transformations Through Unification and Critical Pair Computation cs.PL · 2010 · author #2
2. Unification and Matching on Compressed Terms cs.LO · 2010 · author #3
3. A Lambda-Calculus with letrec, case, constructors and non-determinism cs.PL · 2000 · author #1

Mentions

• 1012.4893 #2 · backfill · confidence 0.70 Manfred Schmidt-Schau{\ss}
• 1003.1632 #3 · backfill · confidence 0.70 Manfred Schmidt-Schau{\ss}

Frequent Coauthors

• Adri\`a Gasc\'on 1 shared papers
• Conrad Rau 1 shared papers
• Guillem Godoy 1 shared papers
• Michael Huber 1 shared papers