Остановите войну!
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 45 matches
- 2015
- Martín Abadi:
The Prophecy of Timely Rollback (Invited Talk). CSL 2015: 1-1 - Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield:
Contextuality, Cohomology and Paradox. CSL 2015: 211-228 - Shahin Amini, Thomas Erhard:
On Classical PCF, Linear Logic and the MIX Rule. CSL 2015: 582-596 - Matthias Baaz, Christian G. Fermüller:
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. CSL 2015: 94-109 - David Baelde, Amina Doumane, Alexis Saurin:
Least and Greatest Fixed Points in Ludics. CSL 2015: 549-566 - Stefano Berardi:
Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness. CSL 2015: 343-358 - Simone Bova, Barnaby Martin:
First-Order Queries on Finite Abelian Groups. CSL 2015: 41-59 - Flavien Breuvart, Michele Pagani:
Modelling Coeffects in the Relational Semantics of Linear Logic. CSL 2015: 567-581 - Thomas Brihaye, Véronique Bruyère, Noémie Meunier, Jean-François Raskin:
Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability. CSL 2015: 504-518 - James Brotherston, Jules Villard:
Sub-classical Boolean Bunched Logics and the Meaning of Par. CSL 2015: 325-342 - Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi:
Functions out of Higher Truncations. CSL 2015: 359-373 - Claudia Carapelle, Markus Lohrey:
Temporal Logics with Local Constraints (Invited Talk). CSL 2015: 2-13 - Olivier Carton, Luc Dartois:
Aperiodic Two-way Transducers and FO-Transductions. CSL 2015: 160-174 - Witold Charatonik, Piotr Witkowski:
Two-variable Logic with Counting and a Linear Order. CSL 2015: 631-647 - Lorenzo Clemente, Slawomir Lasota:
Reachability Analysis of First-order Definable Pushdown Systems. CSL 2015: 244-259 - Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse:
Evidence for Fixpoint Logic. CSL 2015: 78-93 - Anuj Dawar, Dexter Kozen, Simona Ronchi Della Rocca:
The Ackermann Award 2015. CSL 2015: xv-xviii - Anuj Dawar, Pengming Wang:
A Definability Dichotomy for Finite Valued CSPs. CSL 2015: 60-77 - Jacques Duparc, Kevin Fournier, Szczepan Hummel:
On Unambiguous Regular Tree Languages of Index (0, 2). CSL 2015: 534-548 - Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan:
Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. CSL 2015: 374-389 - Adrià Gascón, Manfred Schmidt-Schauß, Ashish Tiwari:
Two-Restricted One Context Unification is in Polynomial Time. CSL 2015: 405-422 - Erich Grädel, Wied Pakusa:
Rank Logic is Dead, Long Live Rank Logic!. CSL 2015: 390-404 - Charles Grellois, Paul-André Melliès:
Relational Semantics of Linear Logic and Higher-order Model Checking. CSL 2015: 260-276 - Stefan Hetzl, Sebastian Zivota:
Tree Grammars for the Elimination of Non-prenex Cuts. CSL 2015: 110-127 - Lukasz Kaiser, Martin Lang, Simon Leßenich, Christof Löding:
A Unified Approach to Boundedness Properties in MSO. CSL 2015: 441-456 - Emanuel Kieronski, Antti Kuusisto:
Uniform One-Dimensional Fragments with One Equivalence Relation. CSL 2015: 597-615 - Felix Klein, Martin Zimmermann:
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead. CSL 2015: 519-533 - Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer:
A Van Benthem Theorem for Modal Team Semantics. CSL 2015: 277-291 - Orna Kupferman, Gal Vardi:
On Relative and Probabilistic Finite Counterability. CSL 2015: 175-192 - Dietrich Kuske, Jiamou Liu, Anastasia Moskvina:
Infinite and Bi-infinite Words with Decidable Monadic Theories. CSL 2015: 472-486
skipping 15 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-04 14:39 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