Kleene algebra of partial predicates

From MaRDI portal
Publication:1796766

DOI10.2478/forma-2018-0002zbMath1401.03106OpenAlexW2887573833WikidataQ129426036 ScholiaQ129426036MaRDI QIDQ1796766

Mykola Nikitchenko, Artur Korniłowicz, Ievgen Ivanov

Publication date: 17 October 2018

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2018-0002




Related Items (8)


Uses Software



Cites Work




This page was built for publication: Kleene algebra of partial predicates