1
Publicado em 2015
Sumário: ... Programming with Safe Tree Initialisation -- Grant Dick On the Generalization Ability of Geometric Semantic...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2008
Sumário: ..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Por Moller, Faron., Moller, Faron., Struth, Georg.
Publicado em 2013
Sumário: ... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...
Obter o texto integral
Recurso Electrónico livro electrónico