|
by Badouel, Eric, Bernardinello, Luca, Darondeau, Philippe
Published 2015
Subjects:
“...Mathematical Logic and Foundations...”Published 2015
Springer Berlin Heidelberg