7 search results - page 2 / 2 » Beyond Rank 1: Algebraic Semantics and Finite Models for Coa... |
APAL
2010
13 years 4 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...