A representation of proper BC domains based on conjunctive sequent calculi

From MaRDI portal
Publication:5220179

DOI10.1017/S096012951900015XzbMath1478.03078OpenAlexW2981177003WikidataQ127018080 ScholiaQ127018080MaRDI QIDQ5220179

Longchun Wang, Qing-Guo Li

Publication date: 11 March 2020

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012951900015x




Related Items (6)




Cites Work




This page was built for publication: A representation of proper BC domains based on conjunctive sequent calculi