| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Heuristic for the Coloring of Planar Graphs
|
De Ita Luna, Guillermo
|
|
|
354 |
C |
p. 91-105
|
artikel
|
| 2 |
An Extension of the Stable Semantics via Lukasiewicz Logic
|
Osorio, Mauricio
|
|
|
354 |
C |
p. 141-155
|
artikel
|
| 3 |
An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional Repository
|
Medina Nieto, María Auxilio
|
|
|
354 |
C |
p. 129-139
|
artikel
|
| 4 |
A Note on Constructive Interpolation for the Multi-Modal Logic K m
|
Bárcenas, Everardo
|
|
|
354 |
C |
p. 3-16
|
artikel
|
| 5 |
Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs
|
López-Ramírez, Cristina
|
|
|
354 |
C |
p. 75-89
|
artikel
|
| 6 |
Gradual Typing Using Union Typing With Records
|
Ramírez Pulido, Karla
|
|
|
354 |
C |
p. 171-186
|
artikel
|
| 7 |
Murphree's Numerical Term Logic Tableaux
|
Castro-Manzano, J. Martín
|
|
|
354 |
C |
p. 17-28
|
artikel
|
| 8 |
On Interactive Proof-Search for Constructive Modal Necessity
|
Miranda-Perea, Favio E.
|
|
|
354 |
C |
p. 107-127
|
artikel
|
| 9 |
Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case
|
Hernández-Tello, Alejandro
|
|
|
354 |
C |
p. 61-74
|
artikel
|
| 10 |
Preface
|
Pozos Parra, Pilar
|
|
|
354 |
C |
p. 1-2
|
artikel
|
| 11 |
Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts
|
Osorio, Mauricio
|
|
|
354 |
C |
p. 157-170
|
artikel
|
| 12 |
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach – Extended and Revised version
|
Everardo, Flavio
|
|
|
354 |
C |
p. 29-44
|
artikel
|
| 13 |
Weighted Complete Graphs for Condensing Data
|
Guzmán-Ponce, A.
|
|
|
354 |
C |
p. 45-60
|
artikel
|
Tijdschrift beschrijving