BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Portugal
1 × USA
Collaborated with:
N.V.Murray A.Matusiewicz R.Hähnle
Talks about:
dissolut (2) resolut (2) theori (2) graph (2) link (2) base (2) implement (1) theorem (1) dissolv (1) connect (1)

Person: Erik Rosenthal

DBLP DBLP: Rosenthal:Erik

Contributed to:

KEOD 20092009
IJCAR 20012001
CADE 19901990
CADE 19881988
CADE 19861986

Wrote 5 papers:

KEOD-2009-MatusiewiczMR #logic
Reduced Implicate Tries and Logical Operations (AM, NVM, ER), pp. 456–459.
IJCAR-2001-HahnleMR #graph #order
Ordered Resolution vs. Connection Graph Resolution (RH, NVM, ER), pp. 182–194.
CADE-1990-MurrayR #named #proving #theorem proving
DISSOLVER: A Dissolution-based Theorem Prover (NVM, ER), pp. 665–666.
CADE-1988-MurrayR #implementation
An Implementation of a Dissolution-Based System Employing Theory Links (NVM, ER), pp. 658–674.
CADE-1986-MurrayR #graph #semantics
Theory Links in Semantic Graphs (NVM, ER), pp. 353–364.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.