1
Published 2006
Table of Contents: ... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Functional Language -- On Reachability Games of Ordinal Length -- An Algorithm for Computation of the Scene...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Computation and Secret Sharing -- Securely Solving Simple Combinatorial Graph Problems -- Parallel and Dynamic...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing...
View full text
Electronic eBook