Theodor Lettmann

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
Learning a representation for optimizable formulas Lecture Notes in Computer Science	2010-04-27	Paper
scientific article; zbMATH DE number 1470716 (Why is no real title available?)	2000-07-05	Paper
Resolution remains hard under equivalence Discrete Applied Mathematics	2000-01-17	Paper
scientific article; zbMATH DE number 702472 (Why is no real title available?)	1994-12-12	Paper
On the restricted equivalence for subclasses of propositional logic RAIRO - Theoretical Informatics and Applications	1993-11-15	Paper
On the restricted equivalence for subclasses of propositional logic RAIRO - Theoretical Informatics and Applications	1993-11-15	Paper
Projections of vector addition system reachability sets are semilinear Theoretical Computer Science	1989-01-01	Paper
First-Order Formulas in Conjunctive Quantificational Form Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1988-01-01	Paper
scientific article; zbMATH DE number 4033146 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4029504 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Theodor Lettmann