×

Found 4 Documents (Results 1–4)

Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation. (English) Zbl 1137.68339

Garrigue, Jacques (ed.) et al., Functional and logic programming. 9th international symposium, FLOPS 2008, Ise, Japan, April 14–16, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78968-0/pbk). Lecture Notes in Computer Science 4989, 289-304 (2008).
MSC:  68N17 68P15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software