zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Durand, Bruno (ed.) et al., STACS 2006. 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23–25, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-32301-3/pbk). Lecture Notes in Computer Science 3884, 524-536 (2006).
BibTeX Cite
Full Text: DOI
Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 229-243 (2003).
MSC:  91A43 03B70 03E15
BibTeX Cite

Filter Results by …

Document Type
Year of Publication