scientific article; zbMATH DE number 3529448

zbMath0338.68067MaRDI QIDQ4105813

Enrico Pagello, Marco Colombetti

Publication date: 1976

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) General topics in the theory of software (68N01)

This page was built for publication: