First Page | Document Content | |
---|---|---|
Date: 2012-07-27 05:34:26Model theory Mathematical logic Automated theorem proving Logic programming Logic in computer science Allegory Pullback Substitution Structure Unification Kripke semantics Interpretation | Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de MadridAdd to Reading ListSource URL: drops.dagstuhl.deDownload Document from Source WebsiteFile Size: 438,20 KBShare Document on Facebook |