Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Institut de Mathématiques de Marseille
Image document

Implementing Open Call-by-Value

Beniamino Accattoli , Giulio Guerrieri
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.1-19, ⟨10.1007/978-3-319-68972-2_1⟩
Conference papers hal-01675365v1
Image document

Distortion in One-Head Machines and Cellular Automata

Pierre Guillon , Ville Salo
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.120-138, ⟨10.1007/978-3-319-58631-1_10⟩
Conference papers hal-01656350v1