Publication:4222891
From MaRDI portal
zbMath0911.68110MaRDI QIDQ4222891
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#huth
68Q55: Semantics in the theory of computing
Related Items
Domain semantics of possibility computations, Quantitative semantics, topology, and possibility measures, Semantics of non-deterministic possibility computation, A Duality Theorem for Quantitative Semantics