Michael Mehl

Publication Activity (10 Years)

Years Active: 1991-1999
Publications (10 Years): 0

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka
Efficient logic variables for distributed computing. ACM Trans. Program. Lang. Syst. 21 (3) (1999)
Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer
Mobile Objects in Distributed Oz. ACM Trans. Program. Lang. Syst. 19 (5) (1997)
Peter Van Roy, Michael Mehl, Ralf Scheidhauer
Integrating Efficient Records into Concurrent Constraint Programming. PLILP (1996)
Michael Mehl, Ralf Scheidhauer, Christian Schulte
An Abstract Machine for Oz PLILP (1995)
Michael Mehl
Retrieval in Case-Based Reasoning Using Preferred Subtheories. Nonmonotonic and Inductive Logic (1991)