Author:
Backofen Rolf,Treinen Ralf
Reference14 articles.
1. Hassan Aït-Kaci, Andreas Podelski, and Gert Smolka. A feature-based constraint system for logic programming with entailment. Theoretical Computer Science, 122(1–2):263–283, January 1994.
2. Rolf Backofen. A complete axiomatization of the algebra of feature trees with arity predicates. To appear as a DFKI-report, 1994.
3. Rolf Backofen and Gert Smolka. A complete and recursive feature theory. Research Report RR-92-30, Deutsches Forschungszentrum für Künstliche Intelligenz, Stuhlsatzenhausweg 3, D 66123 Saarbrücken, Germany, September 1992. Short version as [4].
4. Rolf Backofen and Gert Smolka. A complete and recursive feature theory. In Proc. of the 31
th
Annual Meeting of the Association for Computational Linguistics, pages 193–200, Columbus, Ohio, 22–26 June 1993. Complete version as [3].
5. Hubert Comon and Pierre Lescanne. Equational problems and disunification. Journal of Symbolic Computation, 7(3,4):371–425, 1989.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献