Author:
Backofen Rolf,Treinen Ralf
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference25 articles.
1. A feature-based constraint system for logic programming with entailment;Aı̈t-Kaci;Theoret. Comput. Sci.,1994
2. A complete and recursive feature theory;Backofen;Theoret. Comput. Sci.,1995
3. Expressivity and Decidability of First-Order Languages over Feature Trees;Backofen,1994
4. A complete axiomatization of a theory with feature and arity constraints;Backofen;J. Logic Programming,1995
5. Equations and inequations on finite and infinite trees;Colmerauer,1984
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献