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 × United Kingdom
Collaborated with:
∅
Talks about:
procedur (1) resolut (1) formula (1) applic (1) model (1) guard (1) decis (1) build (1)

Person: Michael Dierkes

DBLP DBLP: Dierkes:Michael

Contributed to:

CL 20002000

Wrote 1 papers:

CL-2000-Dierkes
An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas (MD), pp. 583–597.
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.