skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2014) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram Beklemishev, Lev D ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Blass, Andreas ; Beklemishev, Lev D. ; Dershowitz, Nachum ; Blass, Andreas ; Finkbeiner, Bernd ; Schulte, Wolfram

Cham: Springer Nature 2015

Texto completo disponível

Citações Citado por
2
Horn Clause Solvers for Program Verification
Horn Clause Solvers for Program Verification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Horn Clause Solvers for Program Verification

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram

Fields of Logic and Computation II, 2015, Vol.9300, p.24-51 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
3
The Fundamental Nature of the Log Loss Function
The Fundamental Nature of the Log Loss Function
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Fundamental Nature of the Log Loss Function

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram

Fields of Logic and Computation II, 2015, Vol.9300, p.307-318 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
4
On the Unpredictability of Individual Quantum Measurement Outcomes
On the Unpredictability of Individual Quantum Measurement Outcomes
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On the Unpredictability of Individual Quantum Measurement Outcomes

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram

Fields of Logic and Computation II, 2015, Vol.9300, p.69-86 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
5
Hints Revealed
Hints Revealed
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Hints Revealed

Heule, Marijn ; Weaver, Sean

Theory and Applications of Satisfiability Testing -- SAT 2015, 2015, Vol.9340, p.71-87 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
6
Is Polynomial Time Choiceless?
Is Polynomial Time Choiceless?
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Is Polynomial Time Choiceless?

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram

Fields of Logic and Computation II, 2015, Vol.9300, p.193-209 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
7
Regularity Equals Monadic Second-Order Definability for Quasi-trees
Regularity Equals Monadic Second-Order Definability for Quasi-trees
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Regularity Equals Monadic Second-Order Definability for Quasi-trees

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram

Fields of Logic and Computation II, 2015, Vol.9300, p.129-141 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
Logics for Weighted Timed Pushdown Automata
Logics for Weighted Timed Pushdown Automata
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Logics for Weighted Timed Pushdown Automata

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram

Fields of Logic and Computation II, 2015, Vol.9300, p.153-173 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
9
On Almost Future Temporal Logics
On Almost Future Temporal Logics
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On Almost Future Temporal Logics

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram

Fields of Logic and Computation II, 2015, Vol.9300, p.261-272 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
10
Minsky Machines and Algorithmic Problems
Minsky Machines and Algorithmic Problems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Minsky Machines and Algorithmic Problems

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram

Fields of Logic and Computation II, 2015, Vol.9300, p.273-292 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.