scientific article; zbMATH DE number 549958

zbMath0789.68035MaRDI QIDQ4287477

Ulf S. Nilsson

Publication date: 6 May 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

abstract interpretationmagic setsdeductive databasesmagic templates transformation

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Related Items (1)

Bottom-up abstract interpretation of logic programs

This page was built for publication: