Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates (2001)

Cached

Download Links

by J. E. Labra Gayo , J. M. Cueva Lovelle , M. C. Luengo Diez , A. Cernuda del Rio , A. Cernuda Del Río
Citations:1 - 0 self