A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES
From MaRDI portal
Publication:3532152
DOI10.1142/S0129054108005632zbMath1161.68401MaRDI QIDQ3532152
Publication date: 3 November 2008
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Data structures (68P05)
Related Items (max. 100)
A logical approach to locality in pictures languages ⋮ An optimal construction of Hanf sentences ⋮ Computing thejth solution of a first-order query
Cites Work
This page was built for publication: A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES