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 × Finland
1 × Greece
1 × Iceland
1 × Portugal
Collaborated with:
I.Adler A.Atserias A.Blumensath M.Otto Y.Chen M.Thurley J.Flum M.Grohe
Talks about:
formula (2) order (2) nondeterminist (1) relationship (1) understand (1) constraint (1) satisfact (1) tractabl (1) subgraph (1) isomorph (1)

Person: Mark Weyer

DBLP DBLP: Weyer:Mark

Contributed to:

CSL 20092009
ICALP (2) 20092009
ICALP (1) 20082008
ICALP 20042004

Wrote 5 papers:

CSL-2009-AdlerW #first-order
Tree-Width for First Order Formulae (IA, MW), pp. 71–85.
CSL-2009-AtseriasW #consistency #constraints #decidability #problem
Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems (AA, MW), pp. 102–116.
ICALP-v2-2009-BlumensathOW #bound #finite #higher-order #monad #word
Boundedness of Monadic Second-Order Formulae over Finite Words (AB, MO, MW), pp. 67–78.
ICALP-A-2008-ChenTW #complexity #comprehension #morphism
Understanding the Complexity of Induced Subgraph Isomorphisms (YC, MT, MW), pp. 587–596.
ICALP-2004-FlumGW #bound #nondeterminism #parametricity
Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits (JF, MG, MW), pp. 555–567.

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.