FO(FD): Extending classical logic with rule-based fixpoint definitions
From MaRDI portal
Publication:3585169
DOI10.1017/S1471068410000293zbMath1209.68094arXiv1007.3819MaRDI QIDQ3585169
Marc Denecker, Ping Hou, Broes de Cat
Publication date: 19 August 2010
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1007.3819
Related Items
Cites Work