Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th WoLLIC 2022: Iași, Romania
- Agata Ciabattoni
, Elaine Pimentel, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings. Lecture Notes in Computer Science 13468, Springer 2022, ISBN 978-3-031-15297-9 - Roberto Maieli:
A Proof of the Focusing Theorem via MALL Proof Nets. 1-17 - Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean:
Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. 18-35 - David Fernández-Duque, Quentin Gougeon:
Fixed Point Logics and Definable Topological Properties. 36-52 - Zhiguang Zhao:
Correspondence Theory for Generalized Modal Algebras. 53-69 - Xiaoyang Wang, Yanjing Wang:
Tense Logics over Lattices. 70-87 - Tomoyuki Yamakami:
Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability. 88-104 - Pierre Ludmann, Sylvain Pogodalla, Philippe de Groote:
Multityped Abstract Categorial Grammars and Their Composition. 105-122 - Bogdan Aman, Gabriel Ciobanu:
Interval Probability for Sessions Types. 123-140 - Giti Omidvar, Lutz Straßburger:
Combinatorial Flows as Bicolored Atomic Flows. 141-157 - Xinghan Liu, Emiliano Lorini:
A Logic of "Black Box" Classifier Systems. 158-174 - Naosuke Matsuda, Kento Takagi:
What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains? 175-189 - Rustam Galimullin, Mina Young Pedersen, Marija Slavkovik:
Logic of Visibility in Social Networks. 190-206 - Leonardo Pacheco, Kazuyuki Tanaka:
The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames. 207-220 - Igor Sedlár, Johann J. Wannenburg:
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests. 221-236 - Hans van Ditmarsch, Malvin Gattinger:
The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable. 237-249 - Vít Sefl, Tomás Svoboda:
Additive Types in Quantitative Type Theory. 250-262 - Pietro Galliani:
Strongly First Order, Domain Independent Dependencies: The Union-Closed Case. 263-279 - Tiziano Dalmonte, Charles Grellois, Nicola Olivetti:
Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. 280-294 - Bartosz Bednarczyk, Oskar Fiuk:
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting. 295-308 - Bahareh Afshari, Dominik Wehr:
Abstract Cyclic Proofs. 309-325 - Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang:
Subordination Algebras as Semantic Environment of Input/Output Logic. 326-343 - Dominik Wehr, Dominik Kirst:
Material Dialogues for First-Order Logic in Constructive Type Theory. 344-361 - Sam Sanders:
On the Computational Properties of the Uncountability of the Real Numbers. 362-377 - Amirhossein Akbar Tabatabai:
Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic. 378-394 - Carlos Areces, Valentin Cassano, Raul Fervari:
Non-monotonic Reasoning via Dynamic Consequence. 395-410
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
