|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 4 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gilles Barthe, Femke van Raamsdonk |
Termination of Algebraic Type Systems: The Syntactic Approach.  |
ALP/HOA  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Geser, Sergei Gorlatch |
Parallelizing Functional Programs by Generalization. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Taro Suzuki, Koji Nakagawa, Tetsuo Ida |
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Cohavit Taboch |
A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Zurab Khasidashvili, Mizuhito Ogawa |
Perpetuality and Uniform Normalization. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | L. J. Steggles |
Parameterised Higher-Order Algebraic Specifications. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Nedjah, Colin D. Walter, Stephen E. Eldridge |
Optimal Left-to-Right Pattern-Matching Automata. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
tree automaton, dag automaton, pattern-matching, Term rewriting system |
| 1 | Salvador Lucas |
Needed Reductions with Context-Sensitive Rewriting. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
needed reductions, replacement restrictions, functional programming, strategies, term rewriting systems |
| 1 | Takahito Aoto 0001, Yoshihito Toyama |
On Composable Properties of Term Rewriting Systems. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus, Jan Heering, Karl Meinke (eds.) |
Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, Spetember 3-5, 1997, Proceedings |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas |
Lazy Narrowing with Parametric Order Sorted Types. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal |
Safe Folding/Unfolding with Conditional Narrowing. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy |
Optimal Non-deterministic Functional Logic Computations. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Luís Monteiro |
Proof Net Semantics of Proof Search Computation. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Enno Ohlebusch |
Conditional Term Graph Rewriting. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Slim Abdennadher, Heribert Schütz |
Model Generation with Existentially Quantified Variables and Constraints. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | César Muñoz |
A Left-Linear Variant of Lambda-Sigma. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Kirchner, Christophe Ringeissen |
Higher-Order Equational Unification via Explicit Substitutions. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos 0001 |
Explicit Substitutions for the Lambda-Calculus. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license