Texts in Computer Science - Formal Languages and Compilation
Latest Publications

TOTAL DOCUMENTS

5
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030048785, 9783030048792
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introduction

2019 ◽  
pp. 1-4
Author(s):  
Stefano Crespi Reghizzi ◽  
Luca Breveglieri ◽  
Angelo Morzenti

Finite Automata as Regular Language Recognizers

2019 ◽  
pp. 115-197
Author(s):  
Stefano Crespi Reghizzi ◽  
Luca Breveglieri ◽  
Angelo Morzenti
Keyword(s):  
Regular Language ◽  
Finite Automata

Pushdown Automata and Parsing

2019 ◽  
pp. 199-381
Author(s):  
Stefano Crespi Reghizzi ◽  
Luca Breveglieri ◽  
Angelo Morzenti
Keyword(s):  
Pushdown Automata

Translation Semantics and Static Analysis

2019 ◽  
pp. 383-486
Author(s):  
Stefano Crespi Reghizzi ◽  
Luca Breveglieri ◽  
Angelo Morzenti
Keyword(s):  
Static Analysis

Syntax

2019 ◽  
pp. 5-113
Author(s):  
Stefano Crespi Reghizzi ◽  
Luca Breveglieri ◽  
Angelo Morzenti
Load More ...
Sign in / Sign up

Export Citation Format

Share Document