数学
Paper Review Records
全部论文审稿周期
10 篇有效样本 · 按发表日期由新到旧排列
审稿天数=录用日期-收稿日期;保留 PDF/DOI/网页源链接
On the model theory of second-order objects
作者Tapani Hyttinen; Joni Puljujärvi; Davide Emilio Quadrellaro
作者单位Department 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
作者X. García-Martínez; J.R.A. Gray; M.A. Hoefnagel; T. Van der Linden; C. Vienne
作者单位CITMAga & 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
Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
作者Mikhail Rybakov
作者单位Higher 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
把投稿要求,转成可验证的期刊方案
说清专业、时限和作者背景,CrushSCI 结合真实审稿样本,给出拟题方向、期刊初筛与周期判断。