tadeusz litak
Scholar

tadeusz litak

Google Scholar ID: kCRCFW0AAAAJ
University of Naples Federico II
algebraic logiclogic in computer scienceinteractive theorem provingcoalgebraordered
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
310
 
H-index
11
 
i10-index
13
 
Publications
20
 
Co-authors
18
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
18 total
Co-author 1
Co-author 1
Balder ten Cate
Balder ten Cate
Associate Professor
Lutz Schröder
Lutz Schröder
Professor of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg
Katsuhiko Sano
Katsuhiko Sano
Professor, Faculty of Humanities and Human Sciences, Hokkaido University
Wesley H. Holliday
Wesley H. Holliday
Professor of Philosophy, Group in Logic and the Methodology of Science, UC Berkeley
Jan Hidders
Jan Hidders
Birkbeck College, University of London
Stefan Milius
Stefan Milius
FAU Erlangen-Nürnberg
Co-author 8
Co-author 8