skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
When Can We Answer Queries Using Result-Bounded Data Interfaces?
Material Type:
Artigo
Adicionar ao Meu Espaço

When Can We Answer Queries Using Result-Bounded Data Interfaces?

Amarilli, Antoine ; Benedikt, Michael

Logical methods in computer science, 2022-06, Vol.18, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

2
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
Material Type:
Artigo
Adicionar ao Meu Espaço

Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

Kirst, Dominik ; Larchey-Wendling, Dominique

Logical methods in computer science, 2022-06, Vol.18, Issue 2 (2) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

3
Optimal controller synthesis for timed systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Optimal controller synthesis for timed systems

Busatto-Gaston, Damien ; Monmege, Benjamin ; Reynier, Pierre-Alain

Logical methods in computer science, 2023-03, Vol.19, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

4
Monads need not be endofunctors
Material Type:
Artigo
Adicionar ao Meu Espaço

Monads need not be endofunctors

Altenkirch, Thosten ; Chapman, James ; Uustalu, Tarmo

1860, 2015-03, Vol.11, Issue 1 [Periódico revisado por pares]

International federation of Computer Logic

Texto completo disponível

5
Positive First-Order Logic on Words and Graphs
Material Type:
Artigo
Adicionar ao Meu Espaço

Positive First-Order Logic on Words and Graphs

Kuperberg, Denis

Logical methods in computer science, 2023-01, Vol.19 (3), p.7:1-7:35 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

6
Tameness and the power of programs over monoids in DA
Material Type:
Artigo
Adicionar ao Meu Espaço

Tameness and the power of programs over monoids in DA

Grosshans, Nathan ; Mckenzie, Pierre ; Segoufin, Luc

Logical methods in computer science, 2022-08, Vol.18, Issue 3 (3) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

7
Hilbert's Tenth Problem in Coq (Extended Version)
Material Type:
Artigo
Adicionar ao Meu Espaço

Hilbert's Tenth Problem in Coq (Extended Version)

Larchey-Wendling, Dominique ; Forster, Yannick

Logical methods in computer science, 2022-03, Vol.18, Issue 1 (1) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

8
Algebraic coherent confluence and higher globular Kleene algebras
Material Type:
Artigo
Adicionar ao Meu Espaço

Algebraic coherent confluence and higher globular Kleene algebras

Calk, Cameron ; Goubault, Eric ; Malbos, Philippe ; Struth, Georg

Logical methods in computer science, 2022-11, Vol.18, Issue 4 (4) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

9
Undecidability of a weak version of MSO+U
Material Type:
Artigo
Adicionar ao Meu Espaço

Undecidability of a weak version of MSO+U

Penelle, Vincent ; Bojanczyk, Mikolaj ; Daviaud, Laure ; Guillon, Bruno ; Sreejith, A. V.

Logical methods in computer science, 2020-02, Vol.16, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

10
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs
Material Type:
Artigo
Adicionar ao Meu Espaço

Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs

Bouyer, Patricia ; Randour, Mickael ; Vandenhove, Pierre

TheoretiCS, 2023-01, Vol.2 [Periódico revisado por pares]

TheoretiCS Foundation e.V

Texto completo disponível

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 (76)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (326)
  2. Anais de Congresso  (85)
  3. Book Chapters  (4)
  4. Dissertações  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2004  (8)
  2. 2004Até2008  (44)
  3. 2009Até2013  (112)
  4. 2014Até2019  (164)
  5. Após 2019  (89)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.