skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Bloem, Roderick remover data de publicação: Antes de2006 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars
A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars

Bloem, Roderick ; Engelfriet, Joost

Journal of computer and system sciences, 2000-08, Vol.61 (1), p.1-50 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
2
An algorithm for strongly connected component analysis in n log n symbolic steps
An algorithm for strongly connected component analysis in n log n symbolic steps
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An algorithm for strongly connected component analysis in n log n symbolic steps

BLOEM, Roderick ; GABOW, Harold N ; SOMENZI, Fabio

Lecture notes in computer science, 2000, p.37-54 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
3
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Efficient Decision Procedures for Model Checking of Linear Time Logic Properties

Bloem, Roderick ; Ravi, Kavita ; Somenzi, Fabio

Computer Aided Verification, 1999, p.222-235 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Symbolic guided search for CTL model checking
Symbolic guided search for CTL model checking
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Symbolic guided search for CTL model checking

Bloem, Roderick ; Ravi, Kavita ; Somenzi, Fabio

Annual ACM IEEE Design Automation Conference: Proceedings of the 37th conference on Design automation; 05-09 June 2000, 2000, p.29-34

ACM

Texto completo disponível

Citações Citado por
5
Efficient Büchi Automata from LTL Formulae
Efficient Büchi Automata from LTL Formulae
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Efficient Büchi Automata from LTL Formulae

Somenzi, Fabio ; Bloem, Roderick

Computer Aided Verification, 2000, p.248-263 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Monadic second order logic and node relations on graphs and trees
Monadic second order logic and node relations on graphs and trees
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Monadic second order logic and node relations on graphs and trees

Bloem, Roderick ; Engelfriet, Joost

Structures in Logic and Computer Science, 2005, p.144-161

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (4)

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

Buscando em bases de dados remotas. Favor aguardar.