Skip to main navigation
Skip to search
Skip to main content
Universidade NOVA de Lisboa Home
Help & FAQ
Home
Profiles
Research units
Research output
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
DM - Departamento de Matemática
Universidade NOVA de Lisboa
Faculdade de Ciências e Tecnologia (FCT)
Phone
+351 212948388
Email
[email protected]
Website
https://www.dm.fct.unl.pt/
Postal address
Show on map
Portugal
Overview
Fingerprint
Network
Profiles
(139)
Research output
(1717)
Prizes
(10)
Activities
(42)
Research output
Research output per year
1992
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
1042
Article
317
Conference contribution
137
Chapter
80
Other contribution
141
More
39
Book
19
Editorial
11
Paper
11
Conference article
11
Review article
8
Comment/debate
7
Other chapter contribution
7
Abstract
6
Meeting Abstract
3
Anthology
3
Commissioned report
3
Foreword/postscript
3
Book/Film/Article review
3
Software
3
Doctoral Thesis
2
Letter
1
Entry for encyclopedia/dictionary
1
Master's Thesis
Research output per year
Research output per year
3 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Anthology
Search results
2021
Verantwortung: Ein Begriff in seiner Aktualität
Kahle, R.
&
Weidtmann, N.
,
29 Nov 2021
, Paderborn:
Mentis
.
207 p.
Research output
:
Book/Report
›
Anthology
›
peer-review
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/Report
›
Anthology
›
peer-review
2015
Gentzen’s centenary: The quest for consistency
Kahle, R.
&
Rathjen, M.
,
1 Jan 2015
,
Springer International Publishing
.
561 p.
Research output
:
Book/Report
›
Anthology
›
peer-review
Proof Theory
100%
Logic
93%
Automated Theorem Proving
57%
Natural Deduction
52%
Sequent Calculus
47%
2
Citations (Scopus)