-
Nested Deduction in Logical Foundations for Computation
This thesis investigates the use of deep inference formalisms as basis for a computational interpretation of proof systems, following the two main approaches:... -
UHPFRC 2013
“UHPFRC” international symposium was first organized in Marseille (France) in 2009 for synthesizing the know-how and applications related to Ultra-High Performance... -
Proceedings of the International Conference on Weigh-in-Motion, ICWIM6
Edition des actes de la conférence ICWIM6, Dallas.
