Author:
Brass Stefan,Dix Jürgen,Niemelä Ilkka,C. Przymusinski Teodor
Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. DisLoP;Aravindan;AI Comm.,1997
2. Hyper tableaux;Baumgartner,1996
3. A disjunctive semantics based on unfolding and bottom-up evaluation;Brass,1994
4. A general approach to bottom-up computation of disjunctive semantics;Brass,1995
5. S. Brass, J. Dix, Characterizations of the disjunctive stable semantics by partial evaluation, J. Logic Programm. 32(3) (1997) 207–228. (Extended abstract appeared in: Characterizations of the Stable Semantics by Partial Evaluation LPNMR, Proc. 3rd Internat. Conf., Kentucky, Lecture Notes in Computer Science, vol. 928, Springer, Berlin, 1995, pp. 85–98.)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献