Výsledky vyhledávání - function computation programming recursion implicit methods~

Alternativní vyhledávání:
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 implicit » recursion complexity

1

Obálka

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Vydáno 2005

Obsah: “... Algorithm -- Implicit Computational Complexity and Rewriting -- A Propositional Proof System for Log Space...”
Získat plný text

Elektronický zdroj E-kniha

2

Obálka

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Vydáno 2015

Obsah: “...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”
Získat plný text

Elektronický zdroj E-kniha