Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
When Can We Answer Queries Using Result-Bounded Data Interfaces?Amarilli, Antoine ; Benedikt, MichaelLogical methods in computer science, 2022-06, Vol.18, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
2 |
Material Type: Artigo
|
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive LensKirst, Dominik ; Larchey-Wendling, DominiqueLogical methods in computer science, 2022-06, Vol.18, Issue 2 (2) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
3 |
Material Type: Artigo
|
Optimal controller synthesis for timed systemsBusatto-Gaston, Damien ; Monmege, Benjamin ; Reynier, Pierre-AlainLogical methods in computer science, 2023-03, Vol.19, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
4 |
Material Type: Artigo
|
Monads need not be endofunctorsAltenkirch, Thosten ; Chapman, James ; Uustalu, Tarmo1860, 2015-03, Vol.11, Issue 1 [Periódico revisado por pares]International federation of Computer LogicTexto completo disponível |
|
5 |
Material Type: Artigo
|
Positive First-Order Logic on Words and GraphsKuperberg, DenisLogical methods in computer science, 2023-01, Vol.19 (3), p.7:1-7:35 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
6 |
Material Type: Artigo
|
Tameness and the power of programs over monoids in DAGrosshans, Nathan ; Mckenzie, Pierre ; Segoufin, LucLogical methods in computer science, 2022-08, Vol.18, Issue 3 (3) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
7 |
Material Type: Artigo
|
Hilbert's Tenth Problem in Coq (Extended Version)Larchey-Wendling, Dominique ; Forster, YannickLogical methods in computer science, 2022-03, Vol.18, Issue 1 (1) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
8 |
Material Type: Artigo
|
Algebraic coherent confluence and higher globular Kleene algebrasCalk, Cameron ; Goubault, Eric ; Malbos, Philippe ; Struth, GeorgLogical methods in computer science, 2022-11, Vol.18, Issue 4 (4) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
9 |
Material Type: Artigo
|
Undecidability of a weak version of MSO+UPenelle, 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 AssociationTexto completo disponível |
|
10 |
Material Type: Artigo
|
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite GraphsBouyer, Patricia ; Randour, Mickael ; Vandenhove, PierreTheoretiCS, 2023-01, Vol.2 [Periódico revisado por pares]TheoretiCS Foundation e.VTexto completo disponível |