Author:
Autexier Serge,Dietrich Dominik
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. Log. Comput. 2(3), 297–347 (1992)
2. Lecture Notes in Artificial Intelligence;S. Autexier,2005
3. Autexier, S., Dietrich, D.: Soundness and weak completeness of proof calculi augmented with derived inference rules restricted to atomic formulas. Seki-Report SR-09-03, DFKI Bremen (2009)
4. Lecture Notes in Computer Science;B. Beckert,1993
5. Brauner, P., Houtmann, C., Kirchner, C.: Principle of superdeduction. In: Ong, L. (ed.) Proceedings of LICS, July 2007, pp. 41–50 (2007)