A semantically complete extension sequence of the system \(\mathcal L^\ast\)
From MaRDI portal
Publication:866006
DOI10.1360/03YF9007zbMath1182.03054OpenAlexW1997746250MaRDI QIDQ866006
Publication date: 20 February 2007
Published in: Science in China. Series F (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1360/03yf9007
This page was built for publication: A semantically complete extension sequence of the system \(\mathcal L^\ast\)