Paper Review Records
All Paper Review Records
10 valid samples · Newest publication first
Review days = acceptance date − received date. PDF, DOI, and publisher-page sources are retained.
Proof complexity of CSP
AuthorsAzza Gaysin
AffiliationsDepartment of Algebra, Faculty of Mathematics and Physics, Charles University, Prague, Czechia
The total set-recursive functions of KPl and related systems
AuthorsJuan Pablo Aguilera; Anton Fernández Dejean; Joost J. Joosten
AffiliationsTU Wien, Institute of Discrete Mathematics and Geometry, Austria; University of Barcelona, Department of Philosophy, Spain
On the local modal product logic: standard completeness and decidability
AuthorsAmanda Vidal
AffiliationsInstitute of Computer Science of the Czech Academy of Sciences, Pod Vodárenskou věží 271/2, 182 00 Praha 8, Czech Republic
Model theoretic events
AuthorsKyle Gannon; James E. Hanson
AffiliationsBeijing International Center for Mathematical Research (BICMR), Peking University, Beijing, China; Iowa State University, Ames, IA, USA
On the model theory of second-order objects
AuthorsTapani Hyttinen; Joni Puljujärvi; Davide Emilio Quadrellaro
AffiliationsDepartment of Mathematics and Statistics, University of Helsinki, P.O. Box 68 (Pietari Kalmin katu 5), 00014 Helsinki, Finland; Department of Computer Science, University College London, 66–72 Gower Street, London WC1E 6EA, United Kingdom; Department of Mathematics “Giuseppe Peano”, University of Torino, Via Carlo Alberto 10, 10123 Torino, Italy; Istituto Nazionale di Alta Matematica “Francesco Severi”, Piazzale Aldo Moro 5, 00185 Roma, Italy
Categorical-algebraic aspects of Heyting semilattices
AuthorsX. García-Martínez; J.R.A. Gray; M.A. Hoefnagel; T. Van der Linden; C. Vienne
AffiliationsCITMAga & Universidade de Santiago de Compostela, Departamento de Matemáticas, Rúa Lope Gómez de Marzoa s/n, 15782 Santiago de Compostela, Spain; Mathematics Division, Department of Mathematical Sciences, Stellenbosch University, Private Bag X1, 7602 Matieland, South Africa; Institut de Recherche en Mathématique et Physique, Université catholique de Louvain, chemin du cyclotron 2 bte L7.01.02, B–1348 Louvain-la-Neuve, Belgium; Mathematics & Data Science, Vrije Universiteit Brussel, Pleinlaan 2, B–1050 Brussel, Belgium; Dipartimento di Matematica “Federigo Enriques”, Università degli Studi di Milano, Via Saldini 50, 20133 Milano, Italy; National Institute for Theoretical and Computational Sciences (NITheCS), South Africa
Dimension and topology in transserial tame pairs
AuthorsNigel Pynn-Coates
AffiliationsKurt Gödel Research Center, Institute of Mathematics, University of Vienna, Austria
Universal proof theory: Semi-analytic rules and uniform interpolation
AuthorsAmirhossein Akbar Tabatabai; Raheleh Jalali
AffiliationsBernoulli Institute, University of Groningen, Groningen, Netherlands; Department of Computer Science, University of Bath, Bath, UK
Canonical forms of Borel functions on Silver blocks
AuthorsFabian Kaak; Otmar Spinas
AffiliationsMathematisches Seminar, Christian-Albrechts-Universität zu Kiel, Heinrich-Hecht-Platz 6, 24118 Kiel, Germany
Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
AuthorsMikhail Rybakov
AffiliationsHigher School of Modern Mathematics, MIPT, 1 building 1, Klimentovskiy Pereulok, 115184, Moscow, Russia; HSE University, 20 Myasnitskaya ulitsa, 101000, Moscow, Russia
Expert Matching · Case Demo
Turn Your Submission Goalsinto a Verifiable Journal Plan
Share your field, deadline, and author profile. CrushSCI uses real review records to suggest a title direction, shortlist journals, and estimate timelines.
