Open AccessOn the Properties of Atom Definability and Well-Supportedness in Logic Programming
Author(s) -
Pedro Cabalar,
Jorge Fandinno,
Luís Fariñas del Cerro,
David Pearce,
Agustín Valverde
Publication year - 2017
Publication title -
open archive toulouse archive ouverte (university of toulouse)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - atom (system on chip) , logic programming , computer science , logic program , programming language , theoretical computer science , algebra over a field , mathematics , pure mathematics , parallel computing
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom