Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
quantifying systems » quantifier systems, quantifying steps, quantifying ecosystem
programs function » programs functional, programme function, programs fiction
https quantifying » sets quantifying, attacks quantifying, biopsy quantifying
function https » functions https, fiction https
quantifying systems » quantifier systems, quantifying steps, quantifying ecosystem
programs function » programs functional, programme function, programs fiction
https quantifying » sets quantifying, attacks quantifying, biopsy quantifying
function https » functions https, fiction https
1
Publicado em 2010
Sumário:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2014
Sumário:
“...D. Belomestny, C. Bender, F. Dickmann, and N. Schweizer: Solving Stochastic Dynamic Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2006
Sumário:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Sumário:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2015
Sumário:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2015
Sumário:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2010
Sumário:
“... for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2006
Sumário:
“... Semantics for Higher-Order Programs -- Proofs of Randomized Algorithms in Coq -- Exercises in Quantifier...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2006
Sumário:
“... -- Preserving Secrecy Under Refinement -- Quantifying Information Leakage in Process Calculi -- Symbolic...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2008
Sumário:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2008
Sumário:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2007
Sumário:
“...: Examples and Counterexamples -- Exotic Quantifiers, Complexity Classes, and Complete Problems -- Session A7...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2013
Sumário:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2005
Sumário:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2008
Sumário:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicado em 2006
Sumário:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2008
Sumário:
“... and Nondeterministic Systems -- On Automated Verification of Probabilistic Programs -- Symbolic Model Checking...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2013
Sumário:
“... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Sumário:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2007
Sumário:
“... Selection Criteria for Quantifier-Free First-Order Specifications -- Formal Testing of Systems Presenting...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- 4
- Seguinte »
- [4]