David Baelde - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Mon 14 Dec 2015

Name:David Baelde

Country:France

Affiliation:LSV, ENS Cachan

Personal website: http://lsv.fr/~dbaelde

Research interests:Logic, Security, Proof Theory, Semantics

Contributions

2019

GaLoP

Bouncing Threads for Infinitary and Circular Proofs

Show activities from other conferences

ETAPS 2019-profile
View general profile