×

Found 19 Documents (Results 1–19)

Finding branch-decompositions and rank-decompositions. (English) Zbl 1151.05046

Arge, Lars (ed.) et al., Algorithms – ESA 2007. 15th annual European symposium, Eilat, Israel, October 8–10, 2007, Proceedings. Berlin: Springer (ISBN 978-3-540-75519-7/pbk). Lecture Notes in Computer Science 4698, 163-174 (2007).
MSC:  05C85 05B35 68W40
PDFBibTeX XMLCite
Full Text: DOI

On matroid representability and minor problems. (English) Zbl 1132.05310

Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2006. 31st international symposium, MFCS 2006, Stará Lesná, Slovakia, August 28–September 1, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37791-3/pbk). Lecture Notes in Computer Science 4162, 505-516 (2006).
MSC:  05B35 68Q17 68R05
PDFBibTeX XMLCite
Full Text: DOI

On decidability of MSO theories of representable matroids. (English) Zbl 1104.03007

Downey, Rod (ed.) et al., Parametrized and exact computation. First international workshop, IWPEC 2004, Bergen, Norway, September 14–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23071-8/pbk). Lecture Notes in Computer Science 3162, 96-107 (2004).
MSC:  03B25 03B15 05B35 68R05 68R10
PDFBibTeX XMLCite
Full Text: DOI

On matroid properties definable in the MSO logic. (English) Zbl 1124.68373

Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2003. 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25–29, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40671-9/pbk). Lect. Notes Comput. Sci. 2747, 470-479 (2003).
MSC:  68Q25 03B15 05B35 68R05
PDFBibTeX XMLCite
Full Text: DOI

Branch-width, parse trees, and monadic second-order logic for matroids. (English) Zbl 1035.05029

Alt, Helmut (ed.) et al., STACS 2003. 20th annual symposium of theoretical aspects on computer science, Berlin, Germany, February 27 – March 1, 2003. Proceedings. Berlin: Springer (ISBN 3-540-00623-0/pbk). Lect. Notes Comput. Sci. 2607, 319-330 (2003).
MSC:  05B35 68R05 03D05
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software