share record
persistent URL:
Yuliya Lierler : Unifying Framework for Optimizations in Non-Boolean Formalisms. Theory Pract. Log. Program. 23 (6 ) : 1248-1280 (2023 )share record
persistent URL:
Shakil M. Khan , Maryam Rostamigiv : On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind. ECAI 2023 : 1239-1247 share record
persistent URL:
Max S. New , Daniel R. Licata : A Formal Logic for Formal Category Theory. FoSSaCS 2023 : 113-134 share record
persistent URL:
Niels van der Weide : The Formal Theory of Monads, Univalently. FSCD 2023 : 6:1-6:23 share record
persistent URL:
Ismail A. Mageed : The Consistency Axioms of The Stable M/G/1 Queue's Za, b Non-Extensive Maximum Entropy Formalism with M/G/1 Theory Applications to 6G Networks and Multimedia Applications. ICCA 2023 : 1-6 share record
persistent URL:
Ethan Lustig , David Temperley : The FAV Corpus: An Audio Dataset of Favorite Pieces and Excerpts, With Formal Analyses and Music Theory Descriptors. ISMIR 2023 : 335-342 export record
dblp key:
conf/itp/Frutos-Fernandez23 share record
persistent URL:
María Inés de Frutos-Fernández : Formalizing Norm Extensions and Applications to Number Theory. ITP 2023 : 13:1-13:18 export record
dblp key:
conf/itp/Pomeret-CoquotF23 share record
persistent URL:
Pierre Pomeret-Coquot , Hélène Fargier , Érik Martin-Dorel : Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant. ITP 2023 : 25:1-25:19 share record
persistent URL:
Adam Naumowicz : Extending Numeric Automation for Number Theory Formalizations in Mizar. CICM 2023 : 309-314 share record
persistent URL:
Piotr Wasilewski , Janusz Kacprzyk , Slawomir Zadrozny : Reduction of Binary Attributes: Rough Set Theory Versus Formal Concept Analysis. IJCRS 2023 : 46-61 export record
dblp key:
journals/corr/abs-2311-08854 share record
persistent URL:
David M. Russinoff : A Formalization of Finite Group Theory: Part III. ACL2 2023 : 33-49 export record
dblp key:
journals/corr/abs-2311-08866 share record
persistent URL:
David M. Russinoff : A Formalization of Finite Group Theory: Part II. ACL2 2023 : 16-32 export record
dblp key:
journals/corr/abs-2306-17234 share record
persistent URL:
María Inés de Frutos-Fernández : Formalizing Norm Extensions and Applications to Number Theory. CoRR abs/2306.17234 (2023 )export record
dblp key:
journals/corr/abs-2307-15408 share record
persistent URL:
Herbert Jaeger , Beatriz Noheda , Wilfred G. van der Wiel : Toward a formal theory for computing machines made out of whatever physics offers: extended version. CoRR abs/2307.15408 (2023 )export record
dblp key:
journals/corr/abs-2309-09395 share record
persistent URL:
Elif Üsküplü : Formalizing two-level type theory with cofibrant exo-nat. CoRR abs/2309.09395 (2023 )export record
dblp key:
journals/corr/abs-2312-05658 share record
persistent URL:
William M. Farmer , Dennis Y. Zvigelsky : Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory. CoRR abs/2312.05658 (2023 )export record
dblp key:
journals/corr/abs-2312-06103 share record
persistent URL:
Reynald Affeldt , Jacques Garrigue , Takafumi Saikawa : A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory. CoRR abs/2312.06103 (2023 )export record
dblp key:
journals/corr/abs-2312-10857 share record
persistent URL:
Christian Kindermann , Anne-Marie George , Bijan Parsia , Uli Sattler : Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and beyond). CoRR abs/2312.10857 (2023 )2022 share record
persistent URL:
Chelsea Edmonds : Undirected Graph Theory. Arch. Formal Proofs 2022 (2022 )share record
persistent URL:
Daniel Kirchner : Abstract Object Theory. Arch. Formal Proofs 2022 (2022 )share record
persistent URL:
Alexander Lochmann , Bertram Felgenhauer : First-Order Theory of Rewriting. Arch. Formal Proofs 2022 (2022 )export record
dblp key:
journals/eatcs/Hromkovic22 share record
persistent URL:
Juraj Hromkovic : Salomaa Prize in Automata Theory, Formal Languages and related topics. Bull. EATCS 136 (2022 )share record
persistent URL:
Thomas Browning , Patrick Lutz : Formalizing Galois Theory. Exp. Math. 31 (2 ) : 413-424 (2022 )export record
dblp key:
journals/entropy/Khrennikov22a share record
persistent URL:
Andrei Yu. Khrennikov : On Applicability of Quantum Formalism to Model Decision Making: Can Cognitive Signaling Be Compatible with Quantum Theory? Entropy 24 (11 ) : 1592 (2022 )share record
persistent URL:
Adam Grabowski : Elementary Number Theory Problems. Part VI. Formaliz. Math. 30 (3 ) : 235-244 (2022 )export record
dblp key:
journals/fm/Kornilowicz22 share record
persistent URL:
Artur Kornilowicz : Elementary Number Theory Problems. Part III. Formaliz. Math. 30 (2 ) : 135-158 (2022 )export record
dblp key:
journals/fm/Kornilowicz22a share record
persistent URL:
Artur Kornilowicz : Elementary Number Theory Problems. Part IV. Formaliz. Math. 30 (3 ) : 223-228 (2022 )export record
dblp key:
journals/fm/KornilowiczN22 share record
persistent URL:
Artur Kornilowicz , Adam Naumowicz : Elementary Number Theory Problems. Part V. Formaliz. Math. 30 (3 ) : 229-234 (2022 )share record
persistent URL:
Davide Ceolin , Giuseppe Primiero , Michael Soprano , Jan Wielemaker : Transparent assessment of information quality of online reviews using formal argumentation theory. Inf. Syst. 110 : 102107 (2022 )share record
persistent URL:
Thiago Mendonça Ferreira Ramos , Ariane Alves Almeida , Mauricio Ayala-Rincón : Formalization of the Computational Theory of a Turing Complete Functional Language Model. J. Autom. Reason. 66 (4 ) : 1031-1063 (2022 )