Fields of Logic and Computation III - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030480059, 9783030480066

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Functional Thesauri, Classifying Topoi, Unification, and Flatness

Fields of Logic and Computation III - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48006-6_4 ◽

2020 ◽

pp. 46-56

Author(s):

Andreas Blass

Relativistic Effects Can Be Used to Achieve a Universal Square-Root (Or Even Faster) Computation Speedup

Fields of Logic and Computation III - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48006-6_13 ◽

2020 ◽

pp. 179-189

Author(s):

Olga Kosheleva ◽

Vladik Kreinovich

Keyword(s):

Relativistic Effects ◽

Square Root ◽

Computation Speedup

Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$

Fields of Logic and Computation III - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48006-6_12 ◽

2020 ◽

pp. 156-178

Author(s):

Nikita V. Kitov ◽

Mikhail V. Volkov

Why Predicative Sets?

Fields of Logic and Computation III - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48006-6_3 ◽

2020 ◽

pp. 30-45

Author(s):

Arnon Avron

To Yuri at 80 and More than 40 Years of Friendship

Fields of Logic and Computation III - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48006-6_1 ◽

2020 ◽

pp. 3-6

Author(s):

Johann A. Makowsky

Non-Algorithmic Theory of Randomness

Fields of Logic and Computation III - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48006-6_21 ◽

2020 ◽

pp. 323-340

Author(s):

Vladimir Vovk

State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

Fields of Logic and Computation III - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48006-6_2 ◽

2020 ◽

pp. 9-29

Author(s):

Natasha Alechina ◽

Brian Logan

Keyword(s):

State Of The Art ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Randomness Tests: Theory and Practice

Fields of Logic and Computation III - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48006-6_18 ◽

2020 ◽

pp. 258-290

Author(s):

Alexander Shen

Keyword(s):

Theory And Practice ◽

Randomness Tests

Parameterized Parallel Computing and First-Order Logic

Fields of Logic and Computation III - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48006-6_5 ◽

2020 ◽

pp. 57-78

Author(s):

Yijia Chen ◽

Jörg Flum

Keyword(s):

Parallel Computing ◽

Order Logic ◽

First Order Logic ◽

First Order

On Entropic Convergence of Algorithms

Fields of Logic and Computation III - Lecture Notes in Computer Science ◽

10.1007/978-3-030-48006-6_19 ◽

2020 ◽

pp. 291-304

Author(s):

Anatol Slissenko

Keyword(s):

Convergence Of Algorithms

Fields of Logic and Computation III - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Functional Thesauri, Classifying Topoi, Unification, and Flatness

Relativistic Effects Can Be Used to Achieve a Universal Square-Root (Or Even Faster) Computation Speedup

Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$

Why Predicative Sets?

To Yuri at 80 and More than 40 Years of Friendship

Non-Algorithmic Theory of Randomness

State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

Randomness Tests: Theory and Practice

Parameterized Parallel Computing and First-Order Logic

On Entropic Convergence of Algorithms

Fields of Logic and Computation III - Lecture Notes in Computer Science
Latest Publications