Остановите войну!
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 29 matches
- 1997
- Dirk van Dalen, Marc Bezem:
Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers. Lecture Notes in Computer Science 1258, Springer 1997, ISBN 3-540-63172-0 [contents] - 1996
- Ofer Arieli, Arnon Avron:
Four-Valued Diagnoses for Stratified Knowledge-Bases. CSL 1996: 1-17 - Matthias Baaz, Alexander Leitsch:
Fast Cut-Elimination by Projection. CSL 1996: 18-33 - Gilles Barthe, Paul-André Melliès:
On the Subject Reduction Property for Algebraic Type Systems. CSL 1996: 34-57 - Gian Luca Cattani, Glynn Winskel:
Presheaf Models for Concurrency. CSL 1996: 58-75 - Vincent Danos, Marco Pedicini, Laurent Regnier:
Directed Virtual Reductions. CSL 1996: 76-88 - Stefan Dziembowski:
Bounded-Variable Fixpoint Queries are PSPACE-complete. CSL 1996: 89-105 - Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer:
Graph Rewriting Semantics for Functional Programming Languages. CSL 1996: 106-128 - Marcelo P. Fiore, Gordon D. Plotkin:
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. CSL 1996: 129-149 - Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema:
Relative Undecidability in Term Rewriting. CSL 1996: 150-166 - Herman Geuvers:
Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory. CSL 1996: 167-181 - Neil Ghani:
Eta-Expansions in Fomega. CSL 1996: 182-197 - Rajeev Goré:
Cut-free Display Calculi for Relation Algebras. CSL 1996: 198-210 - Henrik Imhof:
Computational Aspects of Arity Hierarchies. CSL 1996: 211-225 - Anna Ingólfsdóttir:
Weak Semantics Based on Lighted Button Pressing Experiments. CSL 1996: 226-243 - Dexter Kozen, Frederick Smith:
Kleene Algebra with Tests: Completeness and Decidability. CSL 1996: 244-259 - Martin Kreidler, Detlef Seese:
Monadic NP and Built-in Trees. CSL 1996: 260-275 - Zhaohui Luo:
Coercive Subtyping in Type Theory. CSL 1996: 276-296 - Sophie Malecki:
Proofs in System Fomega Can Be Done in System Fomega1. CSL 1996: 297-315 - Anders Malmström:
Optimization Problems with Approximation Schemes. CSL 1996: 316-333 - Robert Matzinger:
Computational Representations of Herbrand Models Using Grammars. CSL 1996: 334-348 - Wolfgang Merkle:
Exact Pairs for Abstract Bounded Reducibilities. CSL 1996: 349-368 - Martin Otto:
The Logic of Explicitly Presentation-Invariant Circuits. CSL 1996: 369-384 - Anna Philippou, David Walker:
Social Confluence in Client-Server Systems. CSL 1996: 385-398 - Luca Roversi:
A Type-Free Resource-Aware Lambda-Calculus. CSL 1996: 399-413 - Anton Setzer:
Inductive Definitions with Decidable Atomic Formulas. CSL 1996: 414-430 - Robert F. Stärk:
Call-by-Value, Call-by-Name and the Logic of Values. CSL 1996: 431-445 - Richard Statman:
On Cartesian Monoids. CSL 1996: 446-459 - A. D. Yashin:
New Intuitionistic Logical Constants: Undecidability of the Conservativsness Problem. CSL 1996: 460-471
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-28 14:02 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