Laurent Catach

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1991

TABLEAUX: A General Theorem Prover for Modal Logics.

[DOI]

J. Autom. Reason., 1991

1988

Normal Multimodal Logics.

[DOI]

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

1986

Conceptual Graphs for Semantics and Knowledge Processing.

[DOI]

IBM J. Res. Dev., 1986