Erik Rosenthal

Available identifiers

zbMath Open rosenthal.erik-jMaRDI QIDQ211661

List of research outcomes

Publication	Date of Publication	Type
Computing prime implicates by pruning the search space and accelerating subsumption	2018-02-13	Paper
Identifying Prime Implicate Branches in Reduced Implicate Tries	2010-06-17	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2010-03-09	Paper
Reduced Implicate Tries with Updates	2010-02-19	Paper
Prime Implicate Tries	2009-12-01	Paper
Duality in Knowledge Compilation Techniques	2008-03-17	Paper
Normal Forms for Knowledge Compilation	2008-03-17	Paper
Updating Reduced Implicate Tries	2008-01-04	Paper
Efficient query processing with reduced implicate tries	2007-05-04	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q5692880	2005-09-28	Paper
Linearity and regularity with negation normal form	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q3046854	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4540005	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2766946	2002-04-25	Paper
\(\mho\)-resolution and hybrid knowledge bases	2001-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q4501669	2001-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4246967	1999-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q4366602	1999-05-03	Paper
A framework for automated reasoning in multiple-valued logics	1999-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q3838812	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4314600	1995-05-01	Paper
On the relative merits of path dissolution and the method of analytic tableaux	1995-03-29	Paper
On the Computational Intractability of Analytic Tableau Methods	1995-01-02	Paper
Dissolution	1993-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q3972130	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3804233	1988-01-01	Paper
Inference with path resolution and semantic graphs	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783624	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4728268	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3751043	1985-01-01	Paper
A Characterization of the Invariant Subspaces of Direct Sums of Strictly Cyclic Algebras	1985-01-01	Paper
A remark on Burnside's theorem on matrix algebras	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883020	1979-01-01	Paper
Power Bounded Strictly Cyclic Operators	1978-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: Erik Rosenthal