Computability on dl-domains
From MaRDI portal
Publication:1908351
DOI10.1006/inco.1996.0002zbMath0844.68076MaRDI QIDQ1908351
Publication date: 27 March 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1996.0002
68Q55: Semantics in the theory of computing
Related Items