Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/19468
dc.contributor | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.contributor.author | Pasarella Sánchez, Ana Edelmira |
dc.contributor.author | Orejas Valdés, Fernando |
dc.contributor.author | Pino Blanco, Elvira |
dc.contributor.author | Navarro, Marisa |
dc.date | 2012 |
dc.identifier.citation | Pasarella, A.E. [et al.]. Semantics of structured normal logic programs. A: Jornadas sobre Programación y Lenguajes. "XII Jornadas sobre programación y lenguajes (Sistedes 2012)". Almeria: 2012, p. 159-160. |
dc.identifier.citation | 978-84-15487-27-2 |
dc.identifier.citation | AL 673-2012 |
dc.identifier.uri | http://hdl.handle.net/2117/19468 |
dc.language.iso | eng |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Logic programming |
dc.subject | Programming languages (Electronic computers) -- Semantics |
dc.subject | Semantics |
dc.subject | Normal logic programs |
dc.subject | Embedded implication |
dc.subject | Visibility rules |
dc.subject | Structuring mechanism |
dc.subject | Intuitionistic structures |
dc.subject | Programació lògica |
dc.subject | Llenguatges de programació -- Semàntica |
dc.title | Semantics of structured normal logic programs |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |