Back to Results
First PageMeta Content
Graph operations / Tree decomposition / Path decomposition / First-order logic / Tree / FO / Minor / Model theory / Dynamic programming / Graph theory / Mathematics / Theoretical computer science


MEMICS[removed]A Practical Approach to Courcelle’s Theorem 1
Add to Reading List

Document Date: 2010-01-20 04:43:33

Open Document

File Size: 254,30 KB

Share Result on Facebook

Company

Vertex / /

/

Facility

X. Two terminal / Computer Science RWTH Aachen University / University of Aarhus / terminal C / /

IndustryTerm

recursive algorithm / direct algorithms / local solutions / direct algorithm / e-game / e-games / /

Organization

University of Aarhus / /

Person

Treewidth / /

Position

player / Model / /

Product

Hintikka / /

ProgrammingLanguage

C++ / /

Technology

no direct algorithm / /

URL

www.elsevier.nl/locate/entcs / /

SocialTag