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 × USA
Collaborated with:
E.Suen D.Deugo B.Ashfield M.Weiss
Talks about:
differenti (1) communic (1) heurist (1) control (1) condens (1) object (1) deduct (1) compon (1) proof (1) agent (1)

Person: Franz Oppacher

DBLP DBLP: Oppacher:Franz

Contributed to:

TOOLS USA 19991999
CADE 19861986

Wrote 2 papers:

TOOLS-USA-1999-DeugoOAW #communication #component
Communication as a Means to Differentiate Objects, Components and Agents (DD, FO, BA, MW), pp. 376–386.
CADE-1986-OppacherS #deduction #heuristic #proving
Controlling Deduction with Proof Condensation and Heuristics (FO, ES), pp. 384–393.
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.