On the Computational Properties of the Uncountability of the Real Numbers

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:WoLLIC (28. : 2022 : Iaşi) Logic, language, information, and computation
1. Verfasser: Sanders, Sam (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Interval Probability for Sessions Types 2022 Aman, Bogdan
Combinatorial Flows as Bicolored Atomic Flows 2022 Omidvar, Giti
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests 2022 Sedlár, Igor
Material Dialogues for First-Order Logic in Constructive Type Theory 2022 Wehr, Dominik
A Proof of the Focusing Theorem via MALL Proof Nets 2022 Maieli, Roberto
Correspondence Theory for Generalized Modal Algebras 2022 Zhao, Zhiguang
Tense Logics over Lattices 2022 Wang, Xiaoyang
Multityped Abstract Categorial Grammars and Their Composition 2022 Ludmann, Pierre
Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability 2022 Yamakami, Tomoyuki
Additive Types in Quantitative Type Theory 2022 Šefl, Vit
Subordination Algebras as Semantic Environment of Input/Output Logic 2022 Domenico, Andrea De
Non-monotonic Reasoning via Dynamic Consequence 2022 Areces, Carlos
Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic 2022 Tabatabai, Amirhossein Akbar
Fixed Point Logics and Definable Topological Properties 2022 Fernández-Duque, David
A Logic of “Black Box” Classifier Systems 2022 Liu, Xinghan
On the Computational Properties of the Uncountability of the Real Numbers 2022 Sanders, Sam
Time and Gödel: Fuzzy Temporal Reasoning in PSPACE 2022 Aguilera, Juan Pablo
What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains? 2022 Matsuda, Naosuke
The Alternation Hierarchy of the u-calculus over Weakly Transitive Frames 2022 Pacheco, Leonardo
Logic of Visibility in Social Networks 2022 Galimullin, Rustam
Alle Artikel auflisten