Author:
Czenko Marcin,Etalle Sandro
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Formal Models and Semantics;K.R. Apt,1990
2. Apt, K.R., Marchiori, E.: Reasoning about Prolog programs: from Modes through Types to Assertions. Formal Aspects of Computing 6(6A), 743–765 (1994)
3. Apt, K.R., Pedreschi, D.: Reasoning about termination of pure Prolog programs. Information and Computation 106(1), 109–157 (1993)
4. Apt, K.R., Pellegrini, A.: On the occur-check free Prolog programs. ACM Toplas 16(3), 687–726 (1994)
5. Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized Trust Management. In: Proc. 17th IEEE Symposium on Security and Privacy, May 1996, pp. 164–173. IEEE Computer Society Press, Los Alamitos (1996)