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 × Austria
1 × USA
Collaborated with:
R.Zeranski V.Arvind Y.Han L.A.Hemachandra J.Köbler A.Lozano M.Ogiwara U.Schöning R.Silvestri T.Thierauf
Talks about:
monoton (1) equival (1) content (1) reduct (1) normal (1) inform (1) appli (1) test (1) solv (1) form (1)

Person: Martin Mundhenk

DBLP DBLP: Mundhenk:Martin

Contributed to:

SAT 20112011
ICALP 19921992

Wrote 2 papers:

SAT-2011-MundhenkZ #equivalence #how #normalisation
How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms (MM, RZ), pp. 105–119.
ICALP-1992-ArvindHHKLMOSST #reduction #set
Reductions to Sets of Low Information Content (VA, YH, LAH, JK, AL, MM, MO, US, RS, TT), pp. 162–173.

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.