Patrice Enjalbert

zbMath Openenjalbert.patriceMaRDI QIDQ920969

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Multi-modal logic programming using equational and order-sorted logic Algebraic and Logic Programming	2022-08-16	Paper
scientific article; zbMATH DE number 1346501 (Why is no real title available?)	1999-10-04	Paper
scientific article; zbMATH DE number 47403 (Why is no real title available?)	1993-01-23	Paper
Modal Theorem Proving: An Equational Viewpoint Journal Of Logic And Computation	1993-01-16	Paper
Multimodal logic programming using equational and order-sorted logic Theoretical Computer Science	1993-01-16	Paper
Strategies for modal resolution: Results and problems Journal of Automated Reasoning	1990-01-01	Paper
Modal resolution in clausal form Theoretical Computer Science	1989-01-01	Paper
scientific article; zbMATH DE number 4164168 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4070871 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4055577 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3902023 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3817039 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3694562 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3628350 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3600214 (Why is no real title available?)	1978-01-01	Paper

Research outcomes over time

This page was built for person: Patrice Enjalbert