Laurent Catach

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1991

3 Laurent Catach: TABLEAUX: A General Theorem Prover for Modal Logics. J. Autom. Reasoning 7(4): 489-510 (1991)

1988

2 Laurent Catach: Normal Multimodal Logics. AAAI 1988: 491-495

1986

1 Jean Fargues, Marie-Claude Landau, Anne Dugourd, Laurent Catach: Conceptual Graphs for Semantics and Knowledge Processing. IBM Journal of Research and Development 30(1): 70-79 (1986)

	1991
3		Laurent Catach: TABLEAUX: A General Theorem Prover for Modal Logics. J. Autom. Reasoning 7(4): 489-510 (1991)
	1988
2		Laurent Catach: Normal Multimodal Logics. AAAI 1988: 491-495
	1986
1		Jean Fargues, Marie-Claude Landau, Anne Dugourd, Laurent Catach: Conceptual Graphs for Semantics and Knowledge Processing. IBM Journal of Research and Development 30(1): 70-79 (1986)

Coauthor Index