![Metalogic / Functions and mappings / Predicate logic / Proof theory / Function / Μ operator / Well-formed formula / Answer set programming / Decidability / Logic / Mathematics / Mathematical logic Metalogic / Functions and mappings / Predicate logic / Proof theory / Function / Μ operator / Well-formed formula / Answer set programming / Decidability / Logic / Mathematics / Mathematical logic](/pdf-icon.png) Date: 2013-08-26 10:13:12Metalogic Functions and mappings Predicate logic Proof theory Function Μ operator Well-formed formula Answer set programming Decidability Logic Mathematics Mathematical logic | | Towards decidable classes of logic programs with function symbols Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna DIMES, Università della CalabriaRende (CS), Italy {calautti,greco,cmolinaro,trubAdd to Reading ListSource URL: www.imn.htwk-leipzig.deDownload Document from Source Website File Size: 492,81 KBShare Document on Facebook
|