DMCA

Constructing finite least Kripke models for positive logic programs in serial regular grammar logics

Cached

Download Links

by Linh Anh Nguyen
Venue:Logic Journal of the IGPL
Citations:10 - 6 self