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 43 matches
- 1986
- Martín Abadi, Zohar Manna:
A Timely Resolution. LICS 1986: 176-186 - Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo:
The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations. LICS 1986: 122-130 - Leo Bachmair, Nachum Dershowitz, Jieh Hsiang:
Orderings for Equational Proofs. LICS 1986: 346-357 - Lennart Beckman, Rune Gustavsson, Annika Wærn:
An Algebraic Model of Parallel Execution of Logic Programs. LICS 1986: 50-57 - David B. Benson, Ofer Ben-Shachar:
Strong Bisimulation of State Automata. LICS 1986: 77-81 - Stephen D. Brookes:
A Semantically Based Proof System for Partial Correctness and Deadlock in CSP. LICS 1986: 58-65 - Michael C. Browne:
An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic. LICS 1986: 260-266 - Shang-Ching Chou, Hai-Ping Ko:
On Mechanical Theorem Proving in Minkowskian Plane Geometry. LICS 1986: 187-192 - Mario Coppo, Maddalena Zacchi:
Type inference and logical relations. LICS 1986: 218-226 - Thierry Coquand:
An Analysis of Girard's Paradox. LICS 1986: 227-236 - László Csirmaz, Bradd Hart:
Program Correctness on Finite Fields. LICS 1986: 4-10 - Joëlle Despeyroux:
Proof of Translation in Natural Semantics. LICS 1986: 193-205 - E. Allen Emerson, Chin-Laung Lei:
Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract). LICS 1986: 267-278 - Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba:
Reasoning with Continuations. LICS 1986: 131-141 - Steven M. German, Edmund M. Clarke, Joseph Y. Halpern:
True Relative Completeness of an Axiom System for the Language L4 (Abridged). LICS 1986: 11-25 - Jean-Yves Girard:
Quantitative and Qualitative Semantics (Abstract of Invited Lecture). LICS 1986: 258 - Carl A. Gunter:
The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains. LICS 1986: 142-148 - Joseph Y. Halpern, Yoav Shoham:
A Propositional Model Logic of Time Intervals. LICS 1986: 279-292 - Joseph Y. Halpern, John H. Williams, Edward L. Wimmers:
Good Rewrite Strategies for FP. LICS 1986: 149-162 - Bengt Jonsson, Zohar Manna, Richard J. Waldinger:
Towards Deductive Synthesis of Dataflow Networks. LICS 1986: 26-37 - Jean-Pierre Jouannaud, Emmanuel Kounalis:
Automatic Proofs by Induction in Equational Theories Without Constructors. LICS 1986: 358-366 - Deepak Kapur, David R. Musser:
Inductive Reasoning with Incomplete Specifications (Preliminary Report). LICS 1986: 367-377 - Claude Kirchner:
Computing Unification Algorithms. LICS 1986: 206-216 - Todd B. Knoblock, Robert L. Constable:
Formalized Metareasoning in Type Theory. LICS 1986: 237-248 - Johann A. Makowsky, Ildikó Sain:
On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems. LICS 1986: 293-300 - Ian A. Mason:
Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation. LICS 1986: 105-117 - Nax Paul Mendler, Prakash Panangaden, Robert L. Constable:
Infinite Objects in Type Theory. LICS 1986: 249-255 - Albert R. Meyer:
Floyd-Hoare Logic Defines Semantics: Preliminary Version. LICS 1986: 44-48 - Christine Mohring:
Algorithm Development in the Calculus of Constructions. LICS 1986: 84-91 - Luís Monteiro, Fernando C. N. Pereira:
A Sheaf-Theoretic Model of Concurrency. LICS 1986: 66-76
skipping 13 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-10-08 00:22 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