Results 1 -
2 of
2
3.5. Deep Inference and Categorical Axiomatizations 5 3.6. Proof Nets and Combinatorial Characterization of Proofs 5
"... c t i v it y e p o r t ..."
Collection analysis for Horn clause programs (0)
by D MILLER
| Venue: | in "Proceedings of PPDP 2006: 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming", July 2006, p. 179–188, http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ppdp06.pdf. Parsifal 17 |
