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 51 matches
- 1997
- Slim Abdennadher, Heribert Schütz:
Model Generation with Existentially Quantified Variables and Constraints. ALP/HOA 1997: 256-272 - Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas:
Lazy Narrowing with Parametric Order Sorted Types. ALP/HOA 1997: 159-173 - María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing. ALP/HOA 1997: 1-15 - Sergio Antoy:
Optimal Non-deterministic Functional Logic Computations. ALP/HOA 1997: 16-30 - Takahito Aoto, Yoshihito Toyama:
On Composable Properties of Term Rewriting Systems. ALP/HOA 1997: 114-128 - Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos:
Explicit Substitutions for the Lambda-Calculus. ALP/HOA 1997: 209-223 - Gilles Barthe, Femke van Raamsdonk:
Termination of Algebraic Type Systems: The Syntactic Approach. ALP/HOA 1997: 174-193 - Luís Caires, Luís Monteiro:
Proof Net Semantics of Proof Search Computation. ALP/HOA 1997: 194-208 - César Muñoz:
A Left-Linear Variant of Lambda-Sigma. ALP/HOA 1997: 224-239 - Michael Codish, Cohavit Taboch:
A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints. ALP/HOA 1997: 31-45 - Alfons Geser, Sergei Gorlatch:
Parallelizing Functional Programs by Generalization. ALP/HOA 1997: 46-60 - Zurab Khasidashvili, Mizuhito Ogawa:
Perpetuality and Uniform Normalization. ALP/HOA 1997: 240-255 - Claude Kirchner, Christophe Ringeissen:
Higher-Order Equational Unification via Explicit Substitutions. ALP/HOA 1997: 61-75 - Salvador Lucas:
Needed Reductions with Context-Sensitive Rewriting. ALP/HOA 1997: 129-143 - Nadia Nedjah, Colin D. Walter, Stephen E. Eldridge:
Optimal Left-to-Right Pattern-Matching Automata. ALP/HOA 1997: 273-286 - Enno Ohlebusch:
Conditional Term Graph Rewriting. ALP/HOA 1997: 144-158 - L. J. Steggles:
Parameterised Higher-Order Algebraic Specifications. ALP/HOA 1997: 76-98 - Taro Suzuki, Koji Nakagawa, Tetsuo Ida:
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. ALP/HOA 1997: 99-113 - Michael Hanus, Jan Heering, Karl Meinke:
Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997, Proceedings. Lecture Notes in Computer Science 1298, Springer 1997, ISBN 3-540-63459-2 [contents] - 1996
- Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller:
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers. Lecture Notes in Computer Science 1074, Springer 1996, ISBN 3-540-61254-8 [contents] - 1995
- Steffen van Bakel, Maribel Fernández:
Approximation and Normalization Results for Typeable Term Rewriting Systems. HOA 1995: 17-36 - Gilles Barthe, Herman Geuvers:
Modular Properties of Algebraic Type Systems. HOA 1995: 37-56 - Inge Bethke, Jan Willem Klop:
Collapsing Partial Combinatory Algebras. HOA 1995: 57-73 - Stefan Blom:
A Complete Proof System for Nested Term Graphs. HOA 1995: 74-89 - Claus Hintermeier, Hélène Kirchner, Peter D. Mosses:
Rn- and Gn-Logics. HOA 1995: 90-108 - Stefan Kahrs:
The Variable Containment Problem. HOA 1995: 109-123 - Jan Willem Klop:
Term Graph Rewriting. HOA 1995: 1-16 - Karl Meinke:
Higher-Order Equational Logic for Specification, Simulation and Testing. HOA 1995: 124-143 - Sava Mintchev, David R. Lester:
The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. HOA 1995: 144-162 - Bernhard Möller:
Assertions and Recursions. HOA 1995: 163-184
skipping 21 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-09-18 14:31 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