Observationally-induced algebras in domain theory
From MaRDI portal
Publication:276418
DOI10.1016/j.entcs.2014.01.003zbMath1337.68158WikidataQ113317921 ScholiaQ113317921MaRDI QIDQ276418
Publication date: 3 May 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2014.01.003
Uses Software