scientific article; zbMATH DE number 1846959

zbMath1053.68579MaRDI QIDQ4784962

Francesca Scozzari

Publication date: 17 December 2002

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

Relational Analysis and Precision via Probabilistic Abstract Interpretation

This page was built for publication: