Author:
Wittocx Johan,Vlaeminck Hanne,Denecker Marc
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Chang, F.: Alloy analyzer 4.0 (2007), http://alloy.mit.edu/alloy4/
2. Denecker, M., Ternovska, E.: A logic of nonmonotone inductive definitions. ACM Trans. Comput. Log. 9(2) (2008)
3. Lecture Notes in Computer Science;M. Denecker,2007
4. Ducassé, M.: Opium: An extendable trace analyzer for prolog. J. Log. Program. 39(1-3), 177–223 (1999)
5. East, D., Truszczynski, M.: Predicate-calculus-based logics for modeling and solving search problems. ACM Trans. Comput. Log. 7(1), 38–83 (2006)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献