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: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
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: ... and Formal Topology -- Problems as Solutions -- A Useful Undecidable Theory -- On the Computational Power...
View full text
Electronic eBook