Key Metrics
CiteScore 

2
Recommended pre-submission checks
Powered by 

Electronic Notes in Theoretical Computer Science Journal Specifications
Indexed in the following public directories
Scopus
| Overview | |
| Publisher | Elsevier |
Planning to publish in Electronic Notes in Theoretical Computer Science ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations

Recently Published Papers in Electronic Notes in Theoretical Computer Science
Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs
- 24 Nov 2020
- Electronic Notes in Theoretical Computer Science
Preface
- 24 Nov 2020
- Electronic Notes in Theoretical Computer Science
Murphree's Numerical Term Logic Tableaux
- 24 Nov 2020
- Electronic Notes in Theoretical Computer Science
A Note on Constructive Interpolation for the Multi-Modal Logic Km
- 24 Nov 2020
- Electronic Notes in Theoretical Computer Science
An Extension of the Stable Semantics via Lukasiewicz Logic
- 24 Nov 2020
- Electronic Notes in Theoretical Computer Science
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach – Extended and Revised version
- 24 Nov 2020
- Electronic Notes in Theoretical Computer Science
Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs
- 24 Nov 2020
- Electronic Notes in Theoretical Computer Science
Preface
- 24 Nov 2020
- Electronic Notes in Theoretical Computer Science
Murphree's Numerical Term Logic Tableaux
- 24 Nov 2020
- Electronic Notes in Theoretical Computer Science
A Note on Constructive Interpolation for the Multi-Modal Logic Km
- 24 Nov 2020
- Electronic Notes in Theoretical Computer Science
An Extension of the Stable Semantics via Lukasiewicz Logic
- 24 Nov 2020
- Electronic Notes in Theoretical Computer Science
Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach – Extended and Revised version
- 24 Nov 2020
- Electronic Notes in Theoretical Computer Science