Home / Authors / Panos Tsatsanis

Books by Panos Tsatsanis

All books by this author

3 books found
Normalisation in Deep Inference: Cut Elimination in the Calculus of Structures
Normalisation in Deep Inference: Cut Elimination in the C…
By: Panos Tsatsanis
View Details
Normalisation in Deep Inference: Cut Elimination in the Calculus of Structures
Normalisation in Deep Inference: Cut Elimination in the C…
By: Panos Tsatsanis
View Details
Normalisation in Deep Inference: Cut Elimination in the Calculus of Structures
Normalisation in Deep Inference: Cut Elimination in the C…
By: Panos Tsatsanis
View Details