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: Livro
|
Linear Logic in Computer ScienceWilliam Tuncel, Selim Parry Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott Jean-Yves Girard Paul Ruet Philip Scott; London Mathematical Society.Cambridge Cambridge University Press 2004Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
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 |
|
4 |
Material Type: Livro
|
Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, ProceedingsAgotnes, Thomas ; Broersen, Jan M ; Elgesem, Dag Elgesem, Dag ; Agotnes, Thomas ; Broersen, Jan MNetherlands: Springer Nature 2012Texto completo disponível |
|
5 |
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 |
|
6 |
Material Type: Livro
|
Proceedings Fourth Annual Symposium on Logic in Computer ScienceSymposium on Logic in Computer Science (4th 1989 Pacific Grove, Calif.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.Washington, D.C. Computer Society Press 1989Localização: IME - Inst. Matemática e Estatística (QA11.7.C S989p 4 )(Acessar) |
|
7 |
Material Type: Livro
|
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingLos Alamitos, Calif. IEEE Computer Society Press c1993Localização: EPBC - Esc. Politécnica-Bib Central (004.42 Ie2L 8. )(Acessar) |
|
8 |
Material Type: Artigo
|
text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of ContinuityCohen, Liron ; Rahli, VincentLogical methods in computer science, 2024-06, Vol.20, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
9 |
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 |
|
10 |
Material Type: Artigo
|
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive PolynomialsGrädel, Erich ; Lücking, Niels ; Naaf, MatthiasLogical methods in computer science, 2024-03, Vol.20, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |