Manfred Schmidt-Schau{\ss} (Dept. Informatik und Mathematik

Identifiers

• name variant Manfred Schmidt-Schau{\ss} (Dept. Informatik und Mathematik 0.60 · backfill

Papers (1)

1. Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq cs.LO · 2015 · author #1

Mentions

• 1502.03216 #1 · backfill · confidence 0.70 Manfred Schmidt-Schau{\ss} (Dept. Informatik und Mathematik

Frequent Coauthors

• David Sabel (Dept. Informatik und Mathematik 1 shared papers
• Elena Machkasova (Division of Science 1 shared papers
• Frank) 1 shared papers
• Inst. Informatik 1 shared papers
• J.W. Goethe-University 1 shared papers
• Mathematics 1 shared papers
• MN 1 shared papers
• Morris 1 shared papers
• University of Minnesota 1 shared papers
• U.S.A) 1 shared papers