Laurent Catach

According to our database, Laurent Catach authored at least 3 papers between 1986 and 1991.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1991

TABLEAUX: A General Theorem Prover for Modal Logics.

Laurent Catach

J. Autom. Reason., 1991

1988

Normal Multimodal Logics.

Laurent Catach

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1986

Conceptual Graphs for Semantics and Knowledge Processing.

Jean Fargues, Marie-Claude Landau, Anne Dugourd, Laurent Catach

IBM J. Res. Dev., 1986