Electronic Notes in Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

6226
(FIVE YEARS 195)

H-INDEX

48
(FIVE YEARS 4)

Published By Elsevier

1571-0661
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Weighted Complete Graphs for Condensing Data

2020 ◽  
Vol 354 ◽  
pp. 45-60
Author(s):  
A. Guzmán-Ponce ◽  
J. Raymundo Marcial-Romero ◽  
R.M. Valdovinos-Rosas ◽  
J.S. Sánchez-Garreta
Keyword(s):  
Complete Graphs

scholarly journals Preface

2020 ◽  
Vol 354 ◽  
pp. 1-2
Author(s):  
Pilar Pozos Parra ◽  
J. Raymundo Marcial-Romero

scholarly journals A Note on Constructive Interpolation for the Multi-Modal Logic K

2020 ◽  
Vol 354 ◽  
pp. 3-16
Author(s):  
Everardo Bárcenas ◽  
José-de-Jesús Lavalle-Martínez ◽  
Guillermo Molero-Castillo ◽  
Alejandro Velázquez-Mena
Keyword(s):  
Modal Logic

scholarly journals Murphree's Numerical Term Logic Tableaux

2020 ◽  
Vol 354 ◽  
pp. 17-28
Author(s):  
J. Martín Castro-Manzano
Keyword(s):  
Term Logic

scholarly journals Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs

2020 ◽  
Vol 354 ◽  
pp. 75-89
Author(s):  
Cristina López-Ramírez ◽  
Jorge Eduardo Gutiérrez Gómez ◽  
Guillermo De Ita Luna
Keyword(s):  
Planar Graphs ◽  
Independent Set ◽  
Vertex Coloring ◽  
Maximal Independent Set ◽  
Coloring Problem ◽  
Vertex Coloring Problem

scholarly journals Gradual Typing Using Union Typing With Records

2020 ◽  
Vol 354 ◽  
pp. 171-186
Author(s):  
Karla Ramírez Pulido ◽  
Jorge Luis Ortega-Arjona ◽  
Lourdes del Carmen González Huesca
Keyword(s):  
Gradual Typing

scholarly journals A Heuristic for the Coloring of Planar Graphs

2020 ◽  
Vol 354 ◽  
pp. 91-105
Author(s):  
Guillermo De Ita Luna ◽  
Cristina López-Ramírez ◽  
Ana E. De Ita-Varela ◽  
Jorge E. Gutiérrez-Gómez
Keyword(s):  
Planar Graphs

scholarly journals On Interactive Proof-Search for Constructive Modal Necessity

2020 ◽  
Vol 354 ◽  
pp. 107-127
Author(s):  
Favio E. Miranda-Perea ◽  
Lourdes del Carmen González Huesca ◽  
P. Selene Linares-Arévalo
Keyword(s):  
Interactive Proof ◽  
Proof Search
Load More ...
Sign in / Sign up

Export Citation Format

Share Document