Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. ProceedingsLomuscio, Alessio ; Nute, Donald Nute, Donald ; Lomuscio, AlessioBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
2 |
Material Type: Artigo
|
A System of Interaction and Structure III: The Complexity of BV and Pomset LogicNguyên, Lê Thành Dũng ; Straßburger, LutzLogical methods in computer science, 2023-12, Vol.19, Issue 4 (4) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
3 |
Material Type: Artigo
|
Dynamic Cantor Derivative LogicFernández-Duque, David ; Montacute, YoàvLogical methods in computer science, 2023-01, Vol.19, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
A duality theoretic view on limits of finite structures: Extended versionGehrke, Mai ; Jakl, Tomáš ; Reggio, LucaLogical methods in computer science, 2022-01, Vol.18, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
5 |
Material Type: Artigo
|
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof netsChouquet, Jules ; Auclair, Lionel VauxLogical methods in computer science, 2021-12, Vol.17, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
6 |
Material Type: Artigo
|
Impure Simplicial Complexes: Complete AxiomatizationRandrianomentsoa, Rojo ; van Ditmarsch, Hans ; Kuznets, RomanLogical methods in computer science, 2023-10, Vol.19, Issue 4 (4) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
7 |
Material Type: Artigo
|
A coherent differential PCFEhrhard, ThomasLogical methods in computer science, 2023-10, Vol.19, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
8 |
Material Type: Artigo
|
SAT-Inspired Higher-Order EliminationsBlanchette, Jasmin ; Vukmirović, PetarLogical methods in computer science, 2023-05, Vol.19, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
9 |
Material Type: Artigo
|
A Bit of Nondeterminism Makes Pushdown Automata Expressive and SuccinctGuha, Shibashis ; Jecker, Ismaël ; Lehtinen, Karoliina ; Zimmermann, MartinLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
10 |
Material Type: Artigo
|
Generalizing determinization from automata to coalgebrasSilva, Alexandra ; Bonchi, Filippo ; Bonsangue, Marcello ; Rutten, JanLogical methods in computer science, 2013-03, Vol.9, Issue 1 (1) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |