×

Found 2 Documents (Results 1–2)

Algebraic methods in the compositional analysis of logic programs. (English) Zbl 1493.68072

Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 112-126 (1994).
MSC:  68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field