skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: IEEE Electronic Library (IEL) Conference Proceedings remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Nested Weighted Automata
Nested Weighted Automata
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Nested Weighted Automata

Chatterjee, Krishnendu ; Henzinger, Thomas ; Otop, Jan

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.725-737

IEEE Computer Society

Texto completo disponível

Citações Citado por
2
Varieties of Languages in a Category
Varieties of Languages in a Category
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Varieties of Languages in a Category

Adamek, Jiri ; Myers, Robert ; Urbat, Henning ; Milius, Stefan

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.414-425

IEEE Computer Society

Texto completo disponível

Citações Citado por
3
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras

Enqvist, Sebastian ; Seifan, Fatemeh ; Venema, Yde

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.353-365

IEEE Computer Society

Texto completo disponível

Citações Citado por
4
Querying Visible and Invisible Information
Querying Visible and Invisible Information
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Querying Visible and Invisible Information

Benedikt, Michael ; Bourhis, Pierre ; ten Cate, Balder ; Puppis, Gabriele

Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.297-306

ACM

Texto completo disponível

Citações Citado por
5
Programs for Cheap
Programs for Cheap
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Programs for Cheap

Hackett, Jennifer ; Hutton, Graham

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.115-126

IEEE Computer Society

Texto completo disponível

Citações Citado por
6
Quantitative Algebraic Reasoning
Quantitative Algebraic Reasoning
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Quantitative Algebraic Reasoning

Mardare, Radu ; Panangaden, Prakash ; Plotkin, Gordon

Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.700-709

ACM

Texto completo disponível

Citações Citado por
7
Distinguishing Hidden Markov Chains
Distinguishing Hidden Markov Chains
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Distinguishing Hidden Markov Chains

Kiefer, Stefan ; Sistla, A

Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.66-75

ACM

Texto completo disponível

Citações Citado por
8
The Complexity of Boundedness for Guarded Logics
The Complexity of Boundedness for Guarded Logics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The Complexity of Boundedness for Guarded Logics

Benedikt, Michael ; Cate, Balder ; Colcombet, Thomas ; Boom, Michael

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.293-304

IEEE Computer Society

Texto completo disponível

Citações Citado por
9
Petri Automata for Kleene Allegories
Petri Automata for Kleene Allegories
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Petri Automata for Kleene Allegories

Brunet, Paul ; Pous, Damien

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.68-79

IEEE Computer Society

Texto completo disponível

Citações Citado por
10
Timed Pushdown Automata Revisited
Timed Pushdown Automata Revisited
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Timed Pushdown Automata Revisited

Clemente, Lorenzo ; Lasota, Slawomir

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.738-749

IEEE Computer Society

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (3.197)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (238.657)
  2. Artigos  (183)
  3. Book Chapters  (52)
  4. Livros  (45)
  5. Recursos Textuais  (33)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1980  (62)
  2. 1980Até1989  (759)
  3. 1990Até1999  (27.971)
  4. 2000Até2010  (137.282)
  5. Após 2010  (78.502)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (4.016)
  2. Chinês  (471)
  3. Espanhol  (240)
  4. Turco  (154)
  5. Russo  (101)
  6. Português  (87)
  7. Árabe  (15)
  8. Francês  (8)
  9. Norueguês  (5)
  10. Serbian  (4)
  11. Sueco  (2)
  12. Esperanto  (1)
  13. Dinamarquês  (1)
  14. Ucraniano  (1)
  15. Eslovaco  (1)
  16. Catalão  (1)
  17. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.