Note on a Lemma of Ladkin
From MaRDI portal
Publication:4870064
DOI10.1093/logcom/6.1.1zbMath0838.03014OpenAlexW2083544119WikidataQ125007447 ScholiaQ125007447MaRDI QIDQ4870064
Publication date: 17 March 1996
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/6.1.1
Related Items (3)
Complementation in representable theories of region-based space ⋮ Allen-like theory of time for tree-like structures ⋮ MACE4 and SEM: A Comparison of Finite Model Generators
This page was built for publication: Note on a Lemma of Ladkin