Patrice Enjalbert

Available identifiers

zbMath Open enjalbert.patriceMaRDI QIDQ920969

List of research outcomes

Publication	Date of Publication	Type
Multi-modal logic programming using equational and order-sorted logic	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4266525	1999-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q3998525	1993-01-23	Paper
Multimodal logic programming using equational and order-sorted logic	1993-01-16	Paper
Modal Theorem Proving: An Equational Viewpoint	1993-01-16	Paper
Strategies for modal resolution: Results and problems	1990-01-01	Paper
Modal resolution in clausal form	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3490986	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3803093	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3791122	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680265	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3664430	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3888506	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190099	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4166876	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Patrice Enjalbert