Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
quantifying system » quantifying ecosystem, quantifying shape, quantifying steps
programs function » programs functional, programme function, programs fiction
https quantifying » sets quantifying, attacks quantifying, biopsy quantifying
function https » functions https, fiction https
system https » systems https, ecosystems https
quantifying system » quantifying ecosystem, quantifying shape, quantifying steps
programs function » programs functional, programme function, programs fiction
https quantifying » sets quantifying, attacks quantifying, biopsy quantifying
function https » functions https, fiction https
system https » systems https, ecosystems https
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“...D. Belomestny, C. Bender, F. Dickmann, and N. Schweizer: Solving Stochastic Dynamic Programs...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Semantics for Higher-Order Programs -- Proofs of Randomized Algorithms in Coq -- Exercises in Quantifier...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... -- Preserving Secrecy Under Refinement -- Quantifying Information Leakage in Process Calculi -- Symbolic...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“...: Examples and Counterexamples -- Exotic Quantifiers, Complexity Classes, and Complete Problems -- Session A7...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”View full text
Electronic
eBook
16
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
17
Table of Contents:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
View full text
View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... and Nondeterministic Systems -- On Automated Verification of Probabilistic Programs -- Symbolic Model Checking...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”View full text
Electronic
eBook
20
Table of Contents:
“... Functional Properties of Program Designs -- Quantified Forms -- Logical Equivalence -- Logical Implication...”
View full text
View full text
Electronic
eBook