Fritz Müller

Publication Activity (10 Years)

Years Active: 1984-2017
Publications (10 Years): 2

Top Topics

Expectation Maximization

Matching Algorithm

Partial Ordering

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Fritz Müller
Intensional Constructed Numbers: Towards Formalizing the Notion of Algorithm. CoRR (2017)
Fritz Müller
From Sazonov's Non-Dcpo Natural Domains to Closed Directed-Lub Partial Orders. CoRR (2016)
Fritz Müller
On Berry's conjectures about the stable order in PCF Log. Methods Comput. Sci. 8 (4) (2011)
Fritz Müller
Full Abstraction for a Recursively Typed Lambda Calculus with Parallel Conditional CoRR (2008)
Fritz Müller
Confluence of the Lambda Calculus with Left-Linear Algebraic Rewriting. Inf. Process. Lett. 41 (6) (1992)
M. Baston, H.-J. Bach, A. Lucks-Baus, Fritz Müller, Reinhard Wilhelm
Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren. Innovative Informations-Infrastrukturen (1988)
Martin Raber, Thomas Remmel, Erwin Hoffmann, Dieter Maurer, Fritz Müller, Hans-Georg Oberhauser, Reinhard Wilhelm
Complied Graph Reduction on a Processor Network. ARCS (1988)
Fritz Müller
Ein konstruktives Typsystem für funktionale Programmiersprachen. Fachtagung über Programmiersprachen (1984)