Feferman-vaught decompositions for prefix classes of first order logic

From MaRDI portal
Publication:6117143

DOI10.1007/s10849-022-09384-9arXiv2112.15064OpenAlexW4309081345MaRDI QIDQ6117143

Abhisekh Sankaran

Publication date: 16 August 2023

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2112.15064






Cites Work


This page was built for publication: Feferman-vaught decompositions for prefix classes of first order logic