Nothing Special   »   [go: up one dir, main page]

8th CPP 2019: Cascais, Portugal

Refine list

showing all ?? records

Invited Talks

Formalization of Mathematics and Computer Algebra

Proof Theory, Theory of Programming Languages

Rewriting, Automated Reasoning

Program Verification