Terra Cognita

Computing and Comparing Semantics of Programs in Multi-valued Logics

Licence unknown link only — licence forbids redistribution arxiv

Y. Loyer, N. Spyratos, D. Stamate

arXiv preprint (cs.LO, cs.DB).

Source ↗

ABSTRACT · 0.0 MB · sha256 27dea11df52c…

Concepts this teaches

Not yet mapped to any concept.

A resource only becomes useful here once a curator has anchored it to concepts at specific pages. Until then it is a book on a shelf.