scientific article; zbMATH DE number 1515860
From MaRDI portal
Publication:4508941
zbMath0962.68047MaRDI QIDQ4508941
Publication date: 13 June 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Reachability and connectivity queries in constraint databases ⋮ Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
Uses Software
This page was built for publication:
