Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion simplified » production simplified, design simplified, equations simplified
simplified theory » amplifier theory, simplified import, simple theory
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion simplified » production simplified, design simplified, equations simplified
simplified theory » amplifier theory, simplified import, simple theory
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 2013
Table of Contents:
“... for Lexicographic Orders -- Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger...”View full text
Electronic
eBook