×

Found 2 Documents (Results 1–2)

Logic programming approach to automata-based decision procedures. (English) Zbl 1213.03018

Dahl, Verónica (ed.) et al., Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74608-9/pbk). Lecture Notes in Computer Science 4670, 165-179 (2007).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Author

Year of Publication

Main Field

all top 3

Software