scientific article; zbMATH DE number 5201475
From MaRDI portal
Publication:5422268
zbMath1124.68026MaRDI QIDQ5422268
Publication date: 17 October 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relational algebramodal logicsdata complexitydeductive databasesmagic-set transformationmodal logic programmingquery-subquery evaluationseminaive evaluation
Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)
This page was built for publication: