Theodor Lettmann

From MaRDI portal
Person:1823696

Available identifiers

zbMath Open lettmann.theodorMaRDI QIDQ1823696

List of research outcomes





PublicationDate of PublicationType
Learning a representation for optimizable formulas2010-04-27Paper
https://portal.mardi4nfdi.de/entity/Q44883422000-07-05Paper
Resolution remains hard under equivalence2000-01-17Paper
https://portal.mardi4nfdi.de/entity/Q43158811994-12-12Paper
On the restricted equivalence for subclasses of propositional logic1993-11-15Paper
Projections of vector addition system reachability sets are semilinear1989-01-01Paper
First-Order Formulas in Conjunctive Quantificational Form1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37734051987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37704951986-01-01Paper

Research outcomes over time

This page was built for person: Theodor Lettmann

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