Permission-Based Separation Logic for Message-Passing Concurrency by Adrian Francalanza, Julian Rathke, Vladimiro Sassone

Subjects: Get full text

A Formal Proof of the Irrationality of $\zeta(3)$ by Assia Mahboubi, Thomas Sibut-Pinote

Subjects: Get full text

Nested Hoare Triples and Frame Rules for Higher-order Store by Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang

Subjects: Get full text

Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism by Konstantinos Mamouras

Subjects: Get full text

Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems by Franck van Breugel, Babita Sharma, James Worrell

Subjects: Get full text

Exchange rate instabilities during the Russia-Ukraine war: Evidence from V4 countries by Florin Aliu, Jiří Kučera, Jakub Horák

Subjects: “…F3…”
Get full text

Impact of international organizations on the institutional development of investment activity by Francisco Zabala Aguayo

Subjects: “…F3…”
Get full text

Generic Trace Semantics via Coinduction by Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Subjects: Get full text

Erratum: First-Principles Calculation of Structural, Electronic, and Optical Properties of Cubic Perovskite CsPbF3 [East European Journal Of Physics. 3. 263-270 (2023)] by Zozan Y. Mohammed, Sarkawt A. Sami, Jalal M. Salih

Subjects: “…CsPbF3…”
Get full text

Psi-calculi: a framework for mobile processes with nominal data and logic by Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor

Subjects: Get full text

Non-Deterministic Kleene Coalgebras by Alexandra Silva, Marcello Bonsangue, Jan Rutten

Subjects: Get full text

Algebraic Notions of Termination by Desharnais Jules, Bernhard Moeller, Struth Georg

Subjects: Get full text

Game semantics for first-order logic by Olivier Laurent

Subjects: Get full text

Model Checking Spatial Logics for Closure Spaces by Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink

Subjects: Get full text

Knowledge-Based Synthesis of Distributed Systems Using Event Structures by Mark Bickford, Robert Constable, Joseph Halpern, Sabina Petride

Subjects: Get full text

Unguarded Recursion on Coinductive Resumptions by Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob

Subjects: Get full text

Refining Inductive Types by Robert Atkey, Patricia Johann, Neil Ghani

Subjects: Get full text

Linear Dependent Types and Relative Completeness by Ugo Dal Lago, Marco Gaboardi

Subjects: Get full text

Superconducting and Mechanical Properties of the Tl_0.8Hg_0.2Ba₂Ca₂Cu₃O_9−δ Superconductor Phase Substituted by Lanth... by Rola F. Khattar, Mohammed Anas, Ramadan Awad, Khulud Habanjar

Subjects: Get full text

Dynamic interlinkages between geopolitical stress and agricultural commodity market: Novel findings in the wake of the Russian Ukrainian conflict by Onur Polat, Berna Doğan Başar, Erdost Torun, İbrahim Halil Ekşi

Subjects: Get full text