BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Italy
1 × Japan
Collaborated with:
M.Fuchs M.Fuchs
Talks about:
prover (2) base (2) abstract (1) problem (1) exchang (1) condens (1) inform (1) elimin (1) detach (1) satur (1)

Person: Dirk Fuchs

DBLP DBLP: Fuchs:Dirk

Contributed to:

CADE 19991999
RTA 19981998
CADE 19971997

Wrote 3 papers:

CADE-1999-FuchsF #testing
Abstraction-Based Relevancy Testing for Model Elimination (MF, DF), pp. 344–358.
RTA-1998-Fuchs #information management #proving
Coupling Saturation-Based Provers by Exchanging Positive/Negative Information (DF), pp. 317–331.
CADE-1997-FuchsF #named #problem #proving
CODE: A Powerful Prover for Problems of Condensed Detachment (DF, MF), pp. 260–263.

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.