Decidable fragments of many-sorted logic

From MaRDI portal
Publication:1041587

DOI10.1016/j.jsc.2009.03.003zbMath1183.03007OpenAlexW1971727793MaRDI QIDQ1041587

Aharon Abadi, Mooly Sagiv, Alexander Rabinovich

Publication date: 3 December 2009

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2009.03.003




Related Items (6)


Uses Software


Cites Work




This page was built for publication: Decidable fragments of many-sorted logic