Extending the \(\rho\) log calculus with proximity relations
From MaRDI portal
Publication:2050326
DOI10.1007/978-3-030-56356-1_6OpenAlexW3108213922MaRDI QIDQ2050326
Mircea Marin, Cleo Pau, Temur Kutsia, Besik Dundua
Publication date: 30 August 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-56356-1_6
This page was built for publication: Extending the \(\rho\) log calculus with proximity relations