Faculdade de Ciências e Tecnologia (FCT)

  • Faculdade de Ciências e Tecnologia

    2829-516 Caparica

    Portugal

Research Output 1977 2020

Filter
Anthology
2018
Requirements engineering
Genetic programming
Testing
Taxonomies
Transparency
2016

Advances in Proof Theory

Kahle, R., Strahm, T. & Studer, T., 2016, Springer International Publishing. (Progress in Computer Science and Applied Logic; vol. 28)

Research output: Book/ReportAnthology

2015
1 Citation (Scopus)

Gentzen’s centenary: The quest for consistency

Kahle, R. & Rathjen, M., 1 Jan 2015, Springer International Publishing. 561 p.

Research output: Book/ReportAnthology

Proof Theory
Logic
Automated Theorem Proving
Natural Deduction
Sequent Calculus