Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
Material Type: Artigo
|
Adding Negation to Lambda Muvan Bakel, SteffenLogical 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 |
|
3 |
Material Type: Artigo
|
Enumerating Independent Linear InferencesDas, Anupam ; Rice, AlexLogical 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 |
|
4 |
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 |
|
5 |
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 |
|
6 |
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]Centre pour la Communication Scientifique Directe (CCSD)Texto completo disponível |
|
7 |
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 |
|
8 |
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), p.1-27 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
9 |
Material Type: Artigo
|
Games Where You Can Play Optimally with Arena-Independent Finite MemoryBouyer, Patricia ; Roux, Stéphane Le ; Oualhadj, Youssouf ; Randour, Mickael ; Vandenhove, PierreLogical methods in computer science, 2022-01, Vol.18, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
10 |
Material Type: Artigo
|
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic PropertiesKapur, DeepakLogical methods in computer science, 2023-03, Vol.19, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |