skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Information Processing Letters remover assunto: Algorithms remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A note on the size of prenex normal forms
A note on the size of prenex normal forms
Material Type:
Artigo 		Adicionar ao Meu Espaço

A note on the size of prenex normal forms

Harwath, Frederik

Information processing letters, 2016-07, Vol.116 (7), p.443-446 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
2
Parity games on undirected graphs
Parity games on undirected graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parity games on undirected graphs

Berwanger, Dietmar ; Serre, Olivier

Information processing letters, 2012-12, Vol.112 (23), p.928-932 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
3
Mu-calculus path checking
Mu-calculus path checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Mu-calculus path checking

Markey, Nicolas ; Schnoebelen, Philippe

Information processing letters, 2006-03, Vol.97 (6), p.225-230 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
A PTIME-complete matching problem for SLP-compressed words
A PTIME-complete matching problem for SLP-compressed words
Material Type:
Artigo 		Adicionar ao Meu Espaço

A PTIME-complete matching problem for SLP-compressed words

Markey, N. ; Schnoebelen, Ph

Information processing letters, 2004-04, Vol.90 (1), p.3-6 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
5
The convex hull of a regular set of integer vectors is polyhedral and effectively computable
The convex hull of a regular set of integer vectors is polyhedral and effectively computable
Material Type:
Artigo 		Adicionar ao Meu Espaço

The convex hull of a regular set of integer vectors is polyhedral and effectively computable

Finkel, Alain ; Leroux, Jérôme

Information processing letters, 2005-10, Vol.96 (1), p.30-35 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
3-SAT = SAT for a class of normal modal logics
3-SAT = SAT for a class of normal modal logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

3-SAT = SAT for a class of normal modal logics

Demri, Stéphane

Information processing letters, 1995-06, Vol.54 (5), p.281-287 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
Model checking conditional CSL for continuous-time Markov chains
Model checking conditional CSL for continuous-time Markov chains
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model checking conditional CSL for continuous-time Markov chains

Gao, Yang ; Xu, Ming ; Zhan, Naijun ; Zhang, Lijun

Information processing letters, 2013-01, Vol.113 (1-2), p.44-50 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
The number of pessimistic guesses in Generalized Black-peg Mastermind
The number of pessimistic guesses in Generalized Black-peg Mastermind
Material Type:
Artigo 		Adicionar ao Meu Espaço

The number of pessimistic guesses in Generalized Black-peg Mastermind

Jäger, Gerold ; Peczarski, Marcin

Information processing letters, 2011-10, Vol.111 (19), p.933-940 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Partial model checking via abstract interpretation
Partial model checking via abstract interpretation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Partial model checking via abstract interpretation

De Francesco, N. ; Lettieri, G. ; Martini, L. ; Vaglini, G.

Information processing letters, 2010, Vol.110 (3), p.99-103 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
10
Symbolic tree automata
Symbolic tree automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Symbolic tree automata

Veanes, Margus ; Bjørner, Nikolaj

Information processing letters, 2015-03, Vol.115 (3), p.418-424 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

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

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

Buscando em bases de dados remotas. Favor aguardar.