Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Temporal Specifications with Accumulative Values;ACM Transactions on Computational Logic;2014-08
2. On the fundamental limitations of transformational design;ACM Transactions on Design Automation of Electronic Systems;2001-10
3. Monadic logic programs and functional complexity;Theoretical Computer Science;1997-04
4. Some results on the complexity of SLD-derivations;Progress in Artificial Intelligence;1993
5. Regular languages and a class of logic programs;Progress in Artificial Intelligence;1993