Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming recursion » programming decision, programming session, programming decisions
recursion a » recursion _, recursions g, recursions m
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming recursion » programming decision, programming session, programming decisions
recursion a » recursion _, recursions g, recursions m
1
Published 2008
Table of Contents:
“...Deterministic Graphical Games Revisited -- Program Schemes with Deep Pushdown Storage -- Herbrand...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... in Holographic Algorithms -- Session 8A -- Randomly Rounding Rationals with Cardinality Constraints...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... -- Enumeration Reducibility with Polynomial Time Bounds -- Coinductive Proofs for Basic Real Computation -- A...”View full text
Electronic
eBook