Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
An Extension of the Stable Semantics via Lukasiewicz LogicOsorio, Mauricio ; Carballido Carranza, José LuisElectronic notes in theoretical computer science, 2020-12, Vol.354, p.141-155Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach – Extended and Revised versionEverardo, Flavio ; Osorio, MauricioElectronic notes in theoretical computer science, 2020-12, Vol.354, p.29-44Elsevier B.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional RepositoryMedina Nieto, María Auxilio ; Díaz, Delia Arrieta ; de la Calleja Mora, Jorge ; Zacatzontetl Hernández, Laura ; Zacatelco Pérez, MarilúElectronic notes in theoretical computer science, 2020-12, Vol.354, p.129-139Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Gradual Typing Using Union Typing With RecordsRamírez Pulido, Karla ; Ortega-Arjona, Jorge Luis ; del Carmen González Huesca, LourdesElectronic notes in theoretical computer science, 2020-12, Vol.354, p.171-186Elsevier B.VTexto completo disponível |
|
5 |
Material Type: Artigo
|
Weighted Complete Graphs for Condensing DataGuzmán-Ponce, A. ; Marcial-Romero, J. Raymundo ; Valdovinos-Rosas, R.M. ; Sánchez-Garreta, J.S.Electronic notes in theoretical computer science, 2020-12, Vol.354, p.45-60Elsevier B.VTexto completo disponível |
|
6 |
Material Type: Artigo
|
Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued CaseHernández-Tello, Alejandro ; Macías, Verónica Borja ; Coniglio, Marcelo E.Electronic notes in theoretical computer science, 2020-12, Vol.354, p.61-74Elsevier B.VTexto completo disponível |
|
7 |
Material Type: Artigo
|
Murphree's Numerical Term Logic TableauxCastro-Manzano, J. MartínElectronic notes in theoretical computer science, 2020-12, Vol.354, p.17-28Elsevier B.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
Three New Genuine Five-valued Logics Intended to Model Non-trivial ConceptsOsorio, Mauricio ; Zepeda, ClaudiaElectronic notes in theoretical computer science, 2020-12, Vol.354, p.157-170Elsevier B.VTexto completo disponível |
|
9 |
Material Type: Artigo
|
On Interactive Proof-Search for Constructive Modal NecessityMiranda-Perea, Favio E. ; del Carmen González Huesca, Lourdes ; Linares-Arévalo, P. SeleneElectronic notes in theoretical computer science, 2020-12, Vol.354, p.107-127Elsevier B.VTexto completo disponível |
|
10 |
Material Type: Artigo
|
Building a Maximal Independent Set for the Vertex-coloring Problem on Planar GraphsLópez-Ramírez, Cristina ; Gutiérrez Gómez, Jorge Eduardo ; De Ita Luna, GuillermoElectronic notes in theoretical computer science, 2020-12, Vol.354, p.75-89Elsevier B.VTexto completo disponível |