Introduction to the special issue on computational logic for verification
Sign Up to like & getrecommendations! Published in 2018 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068418000029
Abstract: Logic underlies many fundamental techniques in computer science. It helps us to rigorously formalize these techniques and prove them correct. The last decade has witnessed a growing interest in the use of computational logic methods… read more here.
Keywords: computational logic; issue computational; logic verification; verification ... See more keywords
Computational logic with square rings of nanomagnets.
Sign Up to like & getrecommendations! Published in 2018 at "Nanotechnology"
DOI: 10.1088/1361-6528/aabbc3
Abstract: Nanomagnets are a promising low-power alternative to traditional computing. However, the successful implementation of nanomagnets in logic gates has been hindered so far by a lack of reliability. Here, we present a novel design with… read more here.
Keywords: computational logic; logic square; rings nanomagnets; reliability ... See more keywords