×

Found 31 Documents (Results 1–31)

Subgraphs satisfying MSO properties on \(z\)-topologically orderable digraphs. (English) Zbl 1406.68048

Gutin, Gregory (ed.) et al., Parameterized and exact computation. 8th international symposium, IPEC 2013, Sophia Antipolis, France, September 4–6, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-319-03897-1/pbk). Lecture Notes in Computer Science 8246, 123-136 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Well-quasi-ordering hereditarily finite sets. (English) Zbl 1333.03111

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 5th international conference, LATA 2011, Tarragona, Spain, May 26–31, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21253-6/pbk). Lecture Notes in Computer Science 6638, 440-451 (2011).
MSC:  03E05 05C20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field