scientific article
From MaRDI portal
Publication:3086788
zbMATH Open1226.03041MaRDI QIDQ3086788
Author name not available (Why is that?)
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Data structures (68P05) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Verifying Tight Logic Programs with anthem and vampire ⋮ Title not available (Why is that?) ⋮ Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3086788)
