5

Data processing for industrial automation

Year:
2003
Language:
english
File:
PDF, 609 KB
english, 2003
8

Proof nets sequentialisation in multiplicative linear logic

Year:
2008
Language:
english
File:
PDF, 551 KB
english, 2008
15

Jump from parallel to sequential proofs: exponentials

Year:
2016
Language:
english
File:
PDF, 1.49 MB
english, 2016
16

On session types and polynomial time

Year:
2016
Language:
english
File:
PDF, 244 KB
english, 2016
22

LQ control design for the containment of the HIV/AIDS diffusion

Year:
2018
Language:
english
File:
PDF, 1.82 MB
english, 2018