Micha Meier

According to our database, Micha Meier authored at least 12 papers between 1988 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

CLP in ECRC.

Micha Meier, Alexander Herold

Proceedings of the Principles and Practice of Constraint Programming, 1995

Debugging Constraint Programs.

Micha Meier

Proceedings of the Principles and Practice of Constraint Programming, 1995

1993

Better Late Than Never.

Micha Meier

Proceedings of the Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems, 1993

1992

SEPIA - a Bases for Prolog Extensions.

Micha Meier

Proceedings of the Logic Programming and Automated Reasoning, 1992

An Architecture for Prolog Extensions.

Micha Meier, Joachim Schimpf

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

1991

SEPIA 3: 0 - An Extensible Prolog System.

Micha Meier, Joachim Schimpf

Proceedings of the Processing Declarative Knowledge, 1991

Declarative and Procedural Paradigms - Do they Really Compete? (Panel).

Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov

Proceedings of the Processing Declarative Knowledge, 1991

Recursion versus Iteration in Prolog.

Micha Meier

Proceedings of the Logic Programming, 1991

1990

Compilation of Compound Terms in Prolog.

Micha Meier

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989

Event Handling in Prolog.

Micha Meier

Proceedings of the Logic Programming, 1989

SEPIA - An Extendible Prolog System.

Micha Meier, Abderrahmane Aggoun, David Chan, Pierre Dufresne, Reinhard Enders, Dominique Henry de Villeneuve, Alexander Herold, Philip Kay, Bruno Perez, Emmanuel van Rossum, Joachim Schimpf

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Benchmarking of Prolog Procedures for Indexing Purposes.

Micha Meier

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988