![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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 47 matches
- 2004
- Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata:
Multi-Clock Timed Networks. LICS 2004: 345-354 - Samson Abramsky
:
High-Level Methods for Quantum Computation and Information. LICS 2004: 410-414 - Samson Abramsky
, Bob Coecke:
A Categorical Semantics of Quantum Protocols. LICS 2004: 415-425 - Samson Abramsky
, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
, Ian David Bede Stark:
Nominal Games and Full Abstraction for the Nu-Calculus. LICS 2004: 150-159 - Yohji Akama
, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach:
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. LICS 2004: 192-201 - Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan:
Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS 2004: 170-179 - Patrick Baillot, Kazushige Terui:
Light Types for Polynomial Time Computation in Lambda-Calculus. LICS 2004: 266-275 - Michael Baldamus, Joachim Parrow, Björn Victor:
Spi Calculus Translated to ?--Calculus Preserving May-Tests. LICS 2004: 22-31 - Ulrich Berger:
A Computational Interpretation of Open Induction. LICS 2004: 326 - Antonio Bucciarelli, Antonino Salibra:
The Sensible Graph Theories of Lambda Calculus. LICS 2004: 276-285 - Andrei A. Bulatov:
A Graph of a Relational Structure and Constraint Satisfaction Problems. LICS 2004: 448-457 - Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski:
Games with Secure Equilibria. LICS 2004: 160-169 - Stephen A. Cook, Antonina Kolokolova:
A Second-Order Theory for NL. LICS 2004: 398-407 - Stephen A. Cook, Neil Thapen:
The Strength of Replacement in Weak Arithmetic. LICS 2004: 256-264 - Víctor Dalmau, Andrei A. Krokhin, Benoît Larose:
First-Order Definable Retraction Problems for Posets and Reflexive Graph. LICS 2004: 232-241 - Dennis Dams, Kedar S. Namjoshi:
The Existence of Finite Abstractions for Branching Time Model Checking. LICS 2004: 335-344 - Brian P. Dunphy, Uday S. Reddy:
Parametric Limits. LICS 2004: 242-251 - Javier Esparza
, Antonín Kucera, Richard Mayr:
Model Checking Probabilistic Pushdown Automata. LICS 2004: 12-21 - Jörg Flum, Martin Grohe:
Model-Checking Problems as a Basis for Parameterized Intractability. LICS 2004: 388-397 - Carsten Führmann, David J. Pym:
On the Geometry of Interaction for Classical Logic. LICS 2004: 211-220 - Murdoch Gabbay, James Cheney:
A Sequent Calculus for Nominal Logic. LICS 2004: 139-148 - Martin Grohe, Nicole Schweikardt:
The Succinctness of First-Order Logic on Linear Orders. LICS 2004: 438-447 - Philippe de Groote, Bruno Guillaume, Sylvain Salvati:
Vector Addition Tree Automata. LICS 2004: 64-73 - Robert Harper:
Self-Adjusting Computation. LICS 2004: 254-255 - Michael Huth:
Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space. LICS 2004: 222-231 - Benedetto Intrigila, Richard Statman:
The Omega Rule is II_20-Hard in the lambda beta -Calculus. LICS 2004: 202-210 - Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan:
Automatic Structures: Richness and Limitations. LICS 2004: 44-53 - Felix Klaedtke:
On the Automata Size for Presburger Arithmetic. LICS 2004: 110-119 - Louis Latour:
From Automata to Formulas: Convex Integer Polyhedra. LICS 2004: 120-129 - Daniel Leivant:
Proving Termination Assertions in Dynamic Logics. LICS 2004: 89-98
skipping 17 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-07-21 02:08 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