Languages PQL and FO+LFP remain equivalent even in the absence of order
From MaRDI portal
Publication:677720
zbMath0868.68048MaRDI QIDQ677720
A. B. Livchak, A. Yu. Baryshnikov
Publication date: 9 June 1997
Published in: Russian Mathematics (Search for Journal in Brave)
This page was built for publication: Languages PQL and FO+LFP remain equivalent even in the absence of order