×

Found 14 Documents (Results 1–14)

Generic expression hardness results for primitive positive formula comparison. (English) Zbl 1333.68116

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 344-355 (2011).
MSC:  68Q15 03B70 68Q17
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field