Patrice Enjalbert

From MaRDI portal
Person:920969

Available identifiers

zbMath Open enjalbert.patriceMaRDI QIDQ920969

List of research outcomes





PublicationDate of PublicationType
Multi-modal logic programming using equational and order-sorted logic2022-08-16Paper
https://portal.mardi4nfdi.de/entity/Q42665251999-10-04Paper
https://portal.mardi4nfdi.de/entity/Q39985251993-01-23Paper
Modal Theorem Proving: An Equational Viewpoint1993-01-16Paper
Multimodal logic programming using equational and order-sorted logic1993-01-16Paper
Strategies for modal resolution: Results and problems1990-01-01Paper
Modal resolution in clausal form1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34909861989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38030931988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37911221987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36802651984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36644301983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38885061980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41900991979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41668761978-01-01Paper

Research outcomes over time

This page was built for person: Patrice Enjalbert

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:920969&oldid=7395935"
Powered by MediaWiki