1
Published 2010
Table of Contents: ... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Networks -- A Novel Digital Algorithm for Sobel Edge Detection -- Efficient Intrusion Detection...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Recursive Functions by Virus Machines -- About models derived from colonies....
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... -- Constructive Dimension and Weak Truth-Table Degrees -- A Classification of Viruses Through Recursion Theorems...
View full text
Electronic eBook