×

Found 2 Documents (Results 1–2)

Layered map reasoning: an experimental approach put to trial on sets. (English) Zbl 1263.03008

Dovier, Agostino (ed.) et al., Declarative programming. Selected papers from AGP 2000, La Habana, Cuba, December 4–6, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 48, 1-28 (2001).
MSC:  03B35 03E30 03G15 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software