Advances in Proof Theory

Springer Nature

ISSN: 22970576, 22970584

Journal publications in Cobalt

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.

journal names

Advances in Proof Theory

All time from 2020

Publications

Citations

h-index

Publications

Citations

Top-3 citing journals

Outstanding Contributions to Logic (8 citations)

Lecture Notes in Computer Science (5 citations)

Annals of Pure and Applied Logic (4 citations)

Top-3 organizations

Massachusetts Institute of Technology (7 publications)

University of Leeds (3 publications)

University of Florence (2 publications)

Top-3 countries

USA (8 publications)

United Kingdom (6 publications)

Germany (4 publications)

Most cited in 5 years

Found

Publication title

Found

Top-100

Citing journals

	1 2 3 4 5 6 7 8
Outstanding Contributions to Logic	Outstanding Contributions to Logic, 8, 19.51% Outstanding Contributions to Logic 8 citations, 19.51%
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 5, 12.2% Lecture Notes in Computer Science 5 citations, 12.2%
Annals of Pure and Applied Logic	Annals of Pure and Applied Logic, 4, 9.76% Annals of Pure and Applied Logic 4 citations, 9.76%
Mathematical Logic Quarterly	Mathematical Logic Quarterly, 3, 7.32% Mathematical Logic Quarterly 3 citations, 7.32%
Studia Logica	Studia Logica, 3, 7.32% Studia Logica 3 citations, 7.32%
Bulletin of Symbolic Logic	Bulletin of Symbolic Logic, 2, 4.88% Bulletin of Symbolic Logic 2 citations, 4.88%
Journal of Functional Programming	Journal of Functional Programming, 1, 2.44% Journal of Functional Programming 1 citation, 2.44%
Computability	Computability, 1, 2.44% Computability 1 citation, 2.44%
Electronic Proceedings in Theoretical Computer Science, EPTCS	Electronic Proceedings in Theoretical Computer Science, EPTCS, 1, 2.44% Electronic Proceedings in Theoretical Computer Science, EPTCS 1 citation, 2.44%
Notre Dame Journal of Formal Logic	Notre Dame Journal of Formal Logic, 1, 2.44% Notre Dame Journal of Formal Logic 1 citation, 2.44%
Theoretical Computer Science	Theoretical Computer Science, 1, 2.44% Theoretical Computer Science 1 citation, 2.44%
Journal of Philosophical Logic	Journal of Philosophical Logic, 1, 2.44% Journal of Philosophical Logic 1 citation, 2.44%
Archive for Mathematical Logic	Archive for Mathematical Logic, 1, 2.44% Archive for Mathematical Logic 1 citation, 2.44%
Journal of Logic and Computation	Journal of Logic and Computation, 1, 2.44% Journal of Logic and Computation 1 citation, 2.44%
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences	Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 1, 2.44% Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 1 citation, 2.44%
Algebra Universalis	Algebra Universalis, 1, 2.44% Algebra Universalis 1 citation, 2.44%
Around the Tree	Around the Tree, 1, 2.44% Around the Tree 1 citation, 2.44%
	1 2 3 4 5 6 7 8

Citing publishers

	5 10 15 20
Springer Nature	Springer Nature, 20, 48.78% Springer Nature 20 citations, 48.78%
Elsevier	Elsevier, 5, 12.2% Elsevier 5 citations, 12.2%
Cambridge University Press	Cambridge University Press, 3, 7.32% Cambridge University Press 3 citations, 7.32%
Wiley	Wiley, 3, 7.32% Wiley 3 citations, 7.32%
Oxford University Press	Oxford University Press, 1, 2.44% Oxford University Press 1 citation, 2.44%
IOS Press	IOS Press, 1, 2.44% IOS Press 1 citation, 2.44%
Duke University Press	Duke University Press, 1, 2.44% Duke University Press 1 citation, 2.44%
The Royal Society	The Royal Society, 1, 2.44% The Royal Society 1 citation, 2.44%
electronic proceedings in theoretical computer science, eptcs	electronic proceedings in theoretical computer science, eptcs, 1, 2.44% electronic proceedings in theoretical computer science, eptcs 1 citation, 2.44%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 1, 2.44% Institute of Electrical and Electronics Engineers (IEEE) 1 citation, 2.44%
	5 10 15 20

Publishing organizations

	1 2 3 4 5 6 7
Massachusetts Institute of Technology	Massachusetts Institute of Technology, 7, 33.33% Massachusetts Institute of Technology 7 publications, 33.33%
University of Leeds	University of Leeds, 3, 14.29% University of Leeds 3 publications, 14.29%
University of Florence	University of Florence, 2, 9.52% University of Florence 2 publications, 9.52%
Ludwig Maximilian University of Munich	Ludwig Maximilian University of Munich, 2, 9.52% Ludwig Maximilian University of Munich 2 publications, 9.52%
Swansea University	Swansea University, 2, 9.52% Swansea University 2 publications, 9.52%
University of Tübingen	University of Tübingen, 1, 4.76% University of Tübingen 1 publication, 4.76%
Australian National University	Australian National University, 1, 4.76% Australian National University 1 publication, 4.76%
University of Padua	University of Padua, 1, 4.76% University of Padua 1 publication, 4.76%
University of Verona	University of Verona, 1, 4.76% University of Verona 1 publication, 4.76%
Stanford University	Stanford University, 1, 4.76% Stanford University 1 publication, 4.76%
University of St Andrews	University of St Andrews, 1, 4.76% University of St Andrews 1 publication, 4.76%
University of Münster	University of Münster, 1, 4.76% University of Münster 1 publication, 4.76%
	1 2 3 4 5 6 7

Publishing countries

	1 2 3 4 5 6 7 8
USA	USA, 8, 38.1% USA 8 publications, 38.1%
United Kingdom	United Kingdom, 6, 28.57% United Kingdom 6 publications, 28.57%
Germany	Germany, 4, 19.05% Germany 4 publications, 19.05%
Italy	Italy, 3, 14.29% Italy 3 publications, 14.29%
Australia	Australia, 1, 4.76% Australia 1 publication, 4.76%
	1 2 3 4 5 6 7 8