Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Bialgebraic Semantics for Logic ProgrammingBonchi, Filippo ; Zanasi, FabioLogical methods in computer science, 2015-03, Vol.11, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
2 |
Material Type: Livro
|
Logic in computer science modelling and reasoning about systemsMichael Huth Mark RyanCambridge u.a Cambridge University Press 2004Localização: IME - Inst. Matemática e Estatística (QA11.7 H979L 2.ed. e.8 )(Acessar) |
|
3 |
Material Type: Artigo
|
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)Dudenhefner, AndrejarXiv.org, 2023-12 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
4 |
Material Type: Livro
|
Logic and discrete mathematics a computer science perspectiveWinfried K. Grassmann Jean-Paul Tremblay 1938-Upper Saddle River, N.J. Prentice Hall c1996Localização: ICMC - Inst. Ciên. Mat. Computação (68R01 G769ld e.1 )(Acessar) |
|
5 |
Material Type: Livro
|
Logic for computer scientistsUwe Schöning 1955-Boston Birkhäuser 1989Localização: IME - Inst. Matemática e Estatística (S P9649 v.8 e.2 )(Acessar) |
|
6 |
Material Type: Ata de Congresso
|
Binary Non-Termination in Term Rewriting and Logic ProgrammingPayet, ÉtiennearXiv.org, 2023Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
7 |
Material Type: Artigo
|
Service-Oriented Logic ProgrammingTutu, Ionut ; Fiadeiro, Jose LuizLogical methods in computer science, 2015-08, Vol.11, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
Logic Programming with Multiplicative StructuresAcclavio, Matteo ; Maieli, RobertoarXiv.org, 2024-03Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
9 |
Material Type: Artigo
|
The Logic of Logic ProgrammingDenecker, Marc ; Warren, David SarXiv.org, 2023-04Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
10 |
Material Type: Artigo
|
Non-Termination in Term Rewriting and Logic ProgrammingPayet, EtiennearXiv.org, 2023-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |