Results 281 to 282 of about 131,761 (282)
Some of the next articles are maybe not open access.
A fast equivalence-checking algorithm for circular lists
Information Processing Letters
, 1979
exaly
Equivalence Checking of Digital Circuits
2004
openaire
copy doi
(10.1007/b105298)
openaccessbutton.org (pdf)
+1 more source
mathematics
fos: computer and information sciences
computer science - logic in computer science
formal verification
программа
разрешающий алгоритм
electronic computers
f.4.1
quantum physics
previous
27
28
29
Home
-
About
-
Disclaimer
-
Privacy