Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/19468

Semantics of structured normal logic programs
Pasarella Sánchez, Ana Edelmira; Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro, Marisa
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Logic programming
Programming languages (Electronic computers) -- Semantics
Semantics
Normal logic programs
Embedded implication
Visibility rules
Structuring mechanism
Intuitionistic structures
Programació lògica
Llenguatges de programació -- Semàntica
info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/conferenceObject
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Pasarella Sánchez, Ana Edelmira; Pino Blanco, Elvira; Orejas Valdés, Fernando
Lambers, Leen; Orejas Valdés, Fernando