Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: 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
         

Mostra el registre complet del document

Documents relacionats

Altres documents del mateix autor/a

Lambers, Leen; Orejas Valdés, Fernando