T. Kutsia. Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In J. Calmet, B. Benhamou, O. Caprotti, L. Henocque, and V. Sorge, editors, Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proc. of Joint AISC'2002 -- Calculemus'2002 Conference, volume 2385 of LNAI, pages 290--304. Springer, 2002. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Functional Programming with Sequence Variables: The Sequentica.. - Marin (2003) (1 citation) (Correct)
CLP(Flex): Constraint Logic Programming Applied to XML.. - Coelho, Florido (2004) (Correct)
Can Context Sequence Matching Be Used for XML Querying? - Kutsia, Marin Self-citation (Kutsia) (Correct)
Context Sequence Matching for XML - Kutsia (2005) Self-citation (Kutsia) (Correct)
A Rule-Based Framework for Solving Regular Context Sequence.. - Kutsia, Marin (2006) Self-citation (Kutsia) (Correct)
Matching with Regular Constraints - Kutsia, Marin (2005) Self-citation (Kutsia) (Correct)
Matching with Regular Constraints - Kutsia, Marin (2005) Self-citation (Kutsia) (Correct)
Pattern Unification with Sequence Variables and Flexible Arity.. - Kutsia (2002) Self-citation (Kutsia) (Correct)
On the Implementation of a Rule-Based Programming System and.. - Marin, Kutsia (2003) (1 citation) Self-citation (Kutsia) (Correct)
On the Implementation of a Rule-Based Programming System and.. - Marin, Kutsia (2003) (1 citation) Self-citation (Kutsia) (Correct)
Theorem Proving with Sequence Variables and Flexible Arity Symbols - Kutsia (2002) Self-citation (Kutsia) (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