1
Publicado em 2006
Sumário: ... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2007
Sumário: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
Obter o texto integral
Recurso Electrónico livro electrónico