Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A functorial framework for constraint normal logic programming

Autor
Lucio, P.; Orejas, F.; Edelmira Pasarella; Pino, E.
Tipus d'activitat
Capítol de llibre
Llibre
Algebra, meaning, and computation
Pàgina inicial
555
Pàgina final
577
Editorial
Springer
Data de publicació
2006
ISBN
978-3-540-35464-2
URL
http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-35462-8?otherVersion=978-3-540-35464-2 Obrir en finestra nova
Resum
Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Series: Lecture Notes in Computer Science, Vol. 4060 Subseries: Theoretical Computer Science and General Issues Futatsugi, Kokichi, Jouannaud, Jean-Pierre, Meseguer, José (Eds.) 2006
Paraules clau
Constraint Logic Programming, Constructive Negation, Semantics
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants