Author:
Erk Katrin,Niehren Joachim
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference23 articles.
1. M. Bodirsky, D. Duchier, S. Miele, J. Niehren, A new algorithm for normal dominance constraints, in: ACM–SIAM Symposium on Discrete Algorithms, 2004, pp. 54–78
2. H. Comon, Completion of rewrite systems with membership constraints, in: International Colloquium on Automata, Languages and Programming, 1992, pp. 392–403
3. Tree descriptions, constraints and incrementality;Duchier,2001
4. The constraint language for lambda structures;Egg;Journal of Logic, Language and Information,2001
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. One Context Unification Problems Solvable in Polynomial Time;2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science;2015-07