Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de Madrid - Kripke structure - Document - PDFSEARCH.IO

First Page	Meta Content
	Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de Madrid Add to Reading List Document Date: 2012-07-27 05:34:26 Open Document File Size: 438,20 KB Share Result on Facebook

Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de MadridAdd to Reading List