Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 50 matches
- 2024
- Barbara König:
Approximating Fixpoints of Approximated Functions (Invited Talk). CSL 2024: 4:1-4:1 - Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge:
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. CSL 2024: 32:1-32:25 - Vincent Moreau, Lê Thành Dung Nguyên:
Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations. CSL 2024: 40:1-40:22 - Luisa Herrmann, Vincent Peth, Sebastian Rudolph:
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. CSL 2024: 33:1-33:19 - Anupam Das, Iris van der Giessen, Sonia Marin:
Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. CSL 2024: 22:1-22:18 - Yannick Forster, Dominik Kirst, Niklas Mück:
The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions. CSL 2024: 29:1-29:20 - Beniamino Accattoli:
Semantic Bounds and Multi Types, Revisited. CSL 2024: 7:1-7:24 - Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri:
Infinitary Cut-Elimination via Finite Approximations. CSL 2024: 8:1-8:19 - Veeti Ahvonen, Damian Heiman, Antti Kuusisto:
Descriptive Complexity for Neural Networks via Boolean Networks. CSL 2024: 9:1-9:22 - Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone:
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. CSL 2024: 10:1-10:19 - Quentin Aristote:
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids. CSL 2024: 11:1-11:20 - Anita Badyl, Pawel Parys:
Extending the WMSO+U Logic with Quantification over Tuples. CSL 2024: 12:1-12:20 - Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti:
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. CSL 2024: 13:1-13:21 - Davide Barbarossa, Paolo Pistone:
Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs. CSL 2024: 14:1-14:23 - Fausto Barbero, Jonni Virtema:
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. CSL 2024: 15:1-15:19 - Stefano Berardi, Gabriele Buriola, Peter Schuster:
A General Constructive Form of Higman's Lemma. CSL 2024: 16:1-16:17 - Manon Blanc, Olivier Bournez:
Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision. CSL 2024: 17:1-17:20 - Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux:
From Local to Global Optimality in Concurrent Parity Games. CSL 2024: 18:1-18:21 - Sophie Brinke, Erich Grädel, Lovro Mrkonjic:
Ehrenfeucht-Fraïssé Games in Semiring Semantics. CSL 2024: 19:1-19:22 - Balder ten Cate:
Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk). CSL 2024: 2:1-2:2 - Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart:
Quantum Circuit Completeness: Extensions and Simplifications. CSL 2024: 20:1-20:23 - Geoff S. H. Cruttwell, Jean-Simon Pacaud Lemay:
Reverse Tangent Categories. CSL 2024: 21:1-21:21 - Anuj Dawar, Lauri Hella:
Quantifiers Closed Under Partial Polymorphisms. CSL 2024: 23:1-23:19 - Tom van Dijk, Georg Loho, Matthew T. Maat:
The Worst-Case Complexity of Symmetric Strategy Improvement. CSL 2024: 24:1-24:19 - Matt Earnshaw, James Hefford, Mario Román:
The Produoidal Algebra of Process Decomposition. CSL 2024: 25:1-25:19 - Maribel Fernández, Jean Goubault-Larrecq, Delia Kesner:
The Ackermann Award 2023. CSL 2024: 1:1-1:4 - Eldar Fischer, Johann A. Makowsky:
Extensions and Limits of the Specker-Blatter Theorem. CSL 2024: 26:1-26:20 - Eva Fluck, Tim Seppelt, Gian Luca Spitzer:
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth. CSL 2024: 27:1-27:17 - Laura Fontanella, Guillaume Geoffroy, Richard Matthews:
Realizability Models for Large Cardinals. CSL 2024: 28:1-28:18 - Georg Gottlob:
Artificial Intelligence and Artificial Ignorance (Invited Talk). CSL 2024: 3:1-3:1
skipping 20 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-08 18:30 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint