Theodor Lettmann

Available identifiers

zbMath Open lettmann.theodorMaRDI QIDQ1823696

List of research outcomes

Publication	Date of Publication	Type
Learning a representation for optimizable formulas	2010-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4488342	2000-07-05	Paper
Resolution remains hard under equivalence	2000-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4315881	1994-12-12	Paper
On the restricted equivalence for subclasses of propositional logic	1993-11-15	Paper
Projections of vector addition system reachability sets are semilinear	1989-01-01	Paper
First-Order Formulas in Conjunctive Quantificational Form	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3773405	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3770495	1986-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: Theodor Lettmann