Fields of Logic and Computation III

Publications

2020

Daniele Mundici
Computing on Lattice-Ordered Abelian Groups. Fields of Logic and Computation III (2020)
Alexander Shen
Randomness Tests: Theory and Practice. Fields of Logic and Computation III (2020)
Natasha Alechina, Brian Logan
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. Fields of Logic and Computation III (2020)
Andreas Blass
Functional Thesauri, Classifying Topoi, Unification, and Flatness. Fields of Logic and Computation III (2020)
Alexander Rabinovich
The Expressive Power of Temporal and First-Order Metric Logics. Fields of Logic and Computation III (2020)
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
Towards Verifying Logic Programs in the Input Language of clingo. Fields of Logic and Computation III (2020)
Arnon Avron
Why Predicative Sets? Fields of Logic and Computation III (2020)
Nikita V. Kitov, Mikhail V. Volkov
. Fields of Logic and Computation III (2020)
Martin Davis
Seventy Years of Computer Science. Fields of Logic and Computation III (2020)
Olga Kharlampovich, Pascal Weil
On the Generalized Membership Problem in Relatively Hyperbolic Groups. Fields of Logic and Computation III (2020)
Johann A. Makowsky
To Yuri at 80 and More than 40 Years of Friendship. Fields of Logic and Computation III (2020)
Anatole Dahan, Anuj Dawar
Relativization of Gurevich's Conjectures. Fields of Logic and Computation III (2020)
Bruno Courcelle
Betweenness in Order-Theoretic Trees. Fields of Logic and Computation III (2020)
Wilfrid Hodges
Medieval Arabic Notions of Algorithm: Some Further Raw Evidence. Fields of Logic and Computation III (2020)
Anuj Dawar, Erich Grädel, Matthias Hoelzel
Convergence and Nonconvergence Laws for Random Expansions of Product Structures. Fields of Logic and Computation III (2020)
Peter H. Schmitt
Two First-Order Theories of Ordinals. Fields of Logic and Computation III (2020)
Vladimir Vovk
Non-Algorithmic Theory of Randomness. Fields of Logic and Computation III (2020)
Olga Kosheleva, Vladik Kreinovich
Relativistic Effects Can Be Used to Achieve a Universal Square-Root (Or Even Faster) Computation Speedup. Fields of Logic and Computation III (2020)
Yijia Chen, Jörg Flum
Parameterized Parallel Computing and First-Order Logic. Fields of Logic and Computation III (2020)
Jerzy Tyszkiewicz
The Power of Spreadsheet Computations. Fields of Logic and Computation III (2020)
Anatol Slissenko
On Entropic Convergence of Algorithms. Fields of Logic and Computation III (2020)

volume 12180, 2020

Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday Fields of Logic and Computation III 12180 (2020)