Expressive power and succinctness of the positive calculus of binary relations

From MaRDI portal
Publication:2141281

DOI10.1016/j.jlamp.2022.100760OpenAlexW4213002236WikidataQ114013907 ScholiaQ114013907MaRDI QIDQ2141281

Yoshiki Nakamura

Publication date: 25 May 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100760






Cites Work




This page was built for publication: Expressive power and succinctness of the positive calculus of binary relations