Games and total Datalog\(^{\lnot}\) queries
From MaRDI portal
Publication:1575136
DOI10.1016/S0304-3975(99)00222-4zbMath0947.68046MaRDI QIDQ1575136
M. Kubierschky, Bertram Ludäscher, Jörg Flum
Publication date: 21 August 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
68P15: Database theory
Uses Software
Cites Work