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 × France
2 × Italy
Collaborated with:
J.Schmidt M.Bodirsky W.Charatonik
Talks about:
constraint (3) satisfact (1) quantifi (1) problem (1) languag (1) equival (1) complex (1) tempor (1) abduct (1) posit (1)

Person: Michal Wrona

DBLP DBLP: Wrona:Michal

Contributed to:

CSL 20132013
CSL 20122012
CSL 20082008

Wrote 3 papers:

CSL-2013-SchmidtW #abduction #complexity #constraints #similarity
The Complexity of Abduction for Equality Constraint Languages (JS, MW), pp. 615–633.
CSL-2012-BodirskyW #constraints #equivalence #problem
Equivalence Constraint Satisfaction Problems (MB, MW), pp. 122–136.
CSL-2008-CharatonikW #constraints #quantifier
Quantified Positive Temporal Constraints (WC, MW), pp. 94–108.

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.