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
Co-authors
12 total
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
Deepak Garg
Deepak Garg
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Derek Dreyer
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus