J. Leach

From MaRDI portal
Person:167075

Available identifiers

zbMath Open leach.javierMaRDI QIDQ167075

List of research outcomes





PublicationDate of PublicationType
Reasoning with preorders and dynamic sorts using free variable tableaux2024-06-21Paper
Constraint Logic Programming with Hereditary Harrop formulas2004-03-01Paper
https://portal.mardi4nfdi.de/entity/Q27636342002-01-21Paper
Tableau methods for a logic with term declarations2001-03-19Paper
https://portal.mardi4nfdi.de/entity/Q49409362000-09-26Paper
https://portal.mardi4nfdi.de/entity/Q38388141998-10-08Paper
https://portal.mardi4nfdi.de/entity/Q43756341998-02-08Paper
Foundations of a theorem prover for functional and mathematical uses1994-10-31Paper

Research outcomes over time

This page was built for person: J. Leach

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