scientific article
From MaRDI portal
Publication:3756511
zbMath0619.68032MaRDI QIDQ3756511
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relational semanticsHorn clausesconstraintslogic programminginference rulesrelational data basesregulationsalgebraic equalities and inequalitiesequation solversformalization of rulesregulatory information
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05) Information storage and retrieval of data (68P20)
Related Items (1)
This page was built for publication:
