Author:
Amato Gianluca,Levi Giorgio
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Amato, G.: Uniform Proofs and Fixpoint Semantics of Sequent Calculi. DRAFT (1999), Available at the following
http://www.di.unipi.it/~amato/papers/
2. Amato, G., Levi, G.: Properties of the lattice of observables in logic programming. In: Falaschi, M., Navarro, M. (eds.) Proceedings of the APPIAGULP- PRODE 1997 Joint Conference on Declarative Programming (1997)
3. Andreoli, J.M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2(3), 297–347 (1992)
4. Armstrong, T., Marriott, K., Schachte, P., Søndergaard, H.: Boolean functions for dependency analysis: Algebraic properties and efficient representation. In: Le Charlier, B. (ed.) SAS 1994. LNCS, vol. 864, pp. 266–280. Springer, Heidelberg (1994)
5. Bossi, A., Gabbrielli, M., Levi, G., Meo, M.C.: A Compositional Semantics for Logic Programs. Theoretical Computer Science 122(1–2), 3–47 (1994)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
2. Correct Answers for First Order Logic;Electronic Notes in Theoretical Computer Science;2001-06