skip to main content
Idioma:
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
Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules
Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules
Material Type:
Artigo 		Adicionar ao Meu Espaço

Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules

Echenim, Mnacho ; Iosif, Radu ; Peltier, Nicolas

Information processing letters, 2022-01, Vol.173 [Periódico revisado por pares]

Elsevier

Texto completo disponível

Citações Citado por
2
The language preservation problem is undecidable for parametric event-recording automata
The language preservation problem is undecidable for parametric event-recording automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

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

André, Étienne ; Lin, Shang-Wei

Information processing letters, 2018-08, Vol.136, p.17-20 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Marking shortest paths on pushdown graphs does not preserve MSO decidability
Marking shortest paths on pushdown graphs does not preserve MSO decidability
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, 2016-10, Vol.116 (10), p.638-643 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
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
5
Clique-width and edge contraction
Clique-width and edge contraction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Clique-width and edge contraction

Courcelle, Bruno

Information processing letters, 2014-01, Vol.114 (1-2), p.42-44 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
Flip-pushdown automata with k pushdown reversals and E0L systems are incomparable
Flip-pushdown automata with k pushdown reversals and E0L systems are incomparable
Material Type:
Artigo 		Adicionar ao Meu Espaço

Flip-pushdown automata with k pushdown reversals and E0L systems are incomparable

Duri, Pavol ; Kosta, Marek

Information processing letters, 2014-08, Vol.114 (8), p.417-420 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
The exact complexity of the infinite Post Correspondence Problem
The exact complexity of the infinite Post Correspondence Problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

The exact complexity of the infinite Post Correspondence Problem

Finkel, Olivier

Information processing letters, 2015-06, Vol.115 (6-8), p.609-611 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
The FC-rank of a context-free language
The FC-rank of a context-free language
Material Type:
Artigo 		Adicionar ao Meu Espaço

The FC-rank of a context-free language

Carayol, Arnaud ; Ésik, Zoltán

Information processing letters, 2013-04, Vol.113 (8), p.285-287 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
On the topological complexity of ω-languages of non-deterministic Petri nets
On the topological complexity of ω-languages of non-deterministic Petri nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the topological complexity of ω-languages of non-deterministic Petri nets

Finkel, Olivier ; Skrzypczak, Michał

Information processing letters, 2014-05, Vol.114 (5), p.229-233 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Improved undecidability results on weighted timed automata
Improved undecidability results on weighted timed automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improved undecidability results on weighted timed automata

Bouyer, Patricia ; Brihaye, Thomas ; Markey, Nicolas

Information processing letters, 2006-06, Vol.98 (5), p.188-194 [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.