Constructions, Inductive Types and Strong Normalization (1993)

Cached

Download Links

by Thorsten Altenkirch
Citations:33 - 2 self

Active Bibliography

702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
789 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
538 Abduction in Logic Programming – Marc Denecker, Antonis Kakas
1068 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
575 Markov Logic Networks – Matthew Richardson, Pedro Domingos - 2006
849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
860 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991