Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference32 articles.
1. Baelde, D.: Least and greatest fixed points in linear logic. ACM Trans. Comput Logic 13(1), 2:1–2:44 (2012)
2. Baelde, D., Chaudhuri, K., Gacek, A., Miller, D., Nadathur, G., Tiu, A., Wang, Y., Abella: A system for reasoning about relational specifications. J. Formal. Reason. 7(2), 1–89 (2014)
3. Baelde, D., Gacek, A., Miller, D., Nadathur, G., Tiu, A.: The Bedwyr system for model checking over syntactic expressions. In: Pfenning, F. (ed.) 21th Conf. on Automated Deduction (CADE), number 4603 in LNAI, pp 391–397. Springer, New York (2007)
4. Barbuti, R., Mancarella, P., Pedreschi, D., Turini, F.: Intensional negation of logic programs examples and implementation techniques. In: Proc. of the TAPSOFT ’87, Number 250 in LNCS, pp 96–110. Springer (1987)
5. Church, A.: An unsolvable problem of elementary number theory. Am. J. Math. 58, 354–363 (1936)