Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
structures » structure
texts » text, tests
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
structures » structure
texts » text, tests
1
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... and Fast Algorithms -- Minimization, Learning, and Conformance Testing of Boolean Programs -- A Capability...”View full text
Electronic
eBook