Tobias Müller
Affiliations:- Saarland University, Saarbrücken, Germany
According to our database1,
Tobias Müller
authored at least 10 papers
between 1995 and 2004.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2004
2001
2000
Proceedings of the Frontiers of Combining Systems, 2000
Extensions of Constraint Solving for Proof Planning.
Proceedings of the ECAI 2000, 2000
1999
Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999
Embedding Propagators in a Concurrent Constraint Language.
J. Funct. Log. Program., 1999
1997
Extending a Concurrent Constraint Language by Propagators.
Proceedings of the Logic Programming, 1997
Connecting Propagators with a Concurrent Constraint Language.
Proceedings of the Logic Programming, 1997
1996
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996
1995
Constructive Disjunction in Oz.
Proceedings of the 11. Workshop Logische Programmierung, 1995