Klaus U. Schulz  Home/Search
Context
Related
| cis.unimuenchen.d...stConstraints.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ps.unisb.de/ccl/publicati...1994 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We discuss the existential fragments of two theories of concatenation. These theories describe concatenation of possibly nested lists in the algebra of finite trees with lists and in the algebra of rational trees with lists. Syntax and the choice of models are motivated by the treatment of lists in PROLOG III. In a recent prototype of this language, Colmerauer has integrated a built-in concatenation of lists, and the constraint-solver checks satisfiability of equations and disequations over... (Update)
Active bibliography (related documents): More All
0.2: Equational Theory of Context Unification is Hard - Vorobyov (1998) (Correct)
0.2: Combining Unification- and Disunification Algorithms - Tractable.. - Schulz (1996) (Correct)
0.1: On the Combination of Symbolic Constraints, Solution Domains, .. - Baader, Schulz (Correct)
Similar documents based on text: More All
0.5: Combination of Constraint Systems II: Rational Amalgamation - Schulz, Kepser (Correct)
0.1: Unification in the Union of Disjoint Equational Theories.. - Baader, Schulz (1992) (Correct)
0.1: The Liu-Schulz Example - Ringel (Correct)
BibTeX entry: (Update)
@inproceedings{ schulz94existential,
author = "Schulz",
title = "On Existential Theories of List Concatenation",
booktitle = "{CSL}: 8th Workshop on Computer Science Logic",
publisher = "LNCS, Springer-Verlag",
year = "1994",
url = "citeseer.ist.psu.edu/schulz94existential.html" }
Citations (may not include all citations):105 The Problem of Solvability of Equations in a Free Semigroup (context) - Makanin - 1977
94 Equations and Inequations on Finite and Infinite Trees (context) - Colmerauer
71 Unification in the union of disjoint equational theories: Co.. - Baader, Schulz - 1992
26 Combination Techniques and Decision Problems for Disunificat.. - Baader, Schulz - 1993
20 Concatenation as a Basis for Arithmetic (context) - Quine - 1946
8 Complete axiomatizations of the algebras of finite, rational.. (context) - Maher - 1988
7 Coding in the Existential Theory of Concatenation (context) - Buchi, Senger - 1986
Documents on the same site (http://www.ps.uni-sb.de/ccl/publications/1994.html): More
Using Prolog and CLP for Designing a Prolog Processor - Illera, al. (1994) (Correct)
Simulating Expansions Without Expansions - Di Cosmo, Kesner (1993) (Correct)
Ordering Constraints on Trees - Comon, Treinen (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC