skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Information Processing Letters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

On the Complexity of the Quantified Bit-Vector Arithmetic with Binary Encoding

Jonáš, Martin ; Strejček, Jan

Published in Information Processing Letters, 2018, vol. 135C [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstract Processes of Place/Transition Systems

Van Glabbeek, Rob ; Goltz, Ursula ; Schicke, Jens-Wolfhard

Information Processing Letters 111(13), 2011, pp. 626-633 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Parity Games on Undirected Graphs

Berwanger, Dietmar ; Serre, Olivier Serre, Olivier (Editor)

Information Processing Letters, 2012, Vol.112(23), p.5 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

The language preservation problem is undecidable for parametric event-recording automata

André, Étienne ; Lin, Shang-Wei André, Étienne (Editor)

Information Processing Letters, August 2018, Vol.136, pp.17-20 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Flip-Pushdown Automata with k Pushdown Reversals and E0L Systems are Incomparable

Kosta, Marek ; Duris, Pavol Merz, Stephan (Editor)

Information Processing Letters, 2014, Vol.114(8), pp.417-420 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

Marking shortest paths on pushdown graphs does not preserve MSO decidability

Carayol, Arnaud ; Serre, Olivier

Information Processing Letters, October 2016, Vol.116(10), pp.638-643 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

Modular Instantiation Schemes

Echenim, Mnacho ; Peltier, Nicolas Echenim, Mnacho (Editor)

Information Processing Letters, 31 October 2011, Vol.111(20), pp.989-993 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

The FC-rank of a context-free language

Carayol, Arnaud ; Ésik, Zoltán Carayol, Arnaud (Editor)

Information Processing Letters, 30 April 2013, Vol.113(8), pp.285-287 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

Clique-width and edge contraction

Courcelle, Bruno Courcelle, Bruno (Editor)

Information Processing Letters, January 2014, Vol.114(1-2), pp.42-44 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

Unifying Theories of Time with Generalised Reactive Processes

Foster, Simon ; Cavalcanti, Ana ; Woodcock, Jim ; Zeyda, Frank

Texto completo disponível

Ver todas as versões
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.