Volume 8; Issue 4

Theory and Practice of Logic Programming

Volume 8; Issue 4
1

Theory of finite or infinite trees revisited

DJELLOUL, KHALIL, DAO, THI-BICH-HANH, FRÜHWIRTH, THOM
Journal:
Theory and Practice of Logic Programming
Année:
2008
Langue:
english
Fichier:
PDF, 457 KB
english, 2008
2

Preferred extensions as stable models

NIEVES, JUAN CARLOS, CORTÉS, ULISES, OSORIO, MAURICIO
Journal:
Theory and Practice of Logic Programming
Année:
2008
Langue:
english
Fichier:
PDF, 158 KB
english, 2008
3

TCHR: a framework for tabled CLP

SCHRIJVERS, TOM, DEMOEN, BART, WARREN, DAVID S.
Journal:
Theory and Practice of Logic Programming
Année:
2008
Langue:
english
Fichier:
PDF, 525 KB
english, 2008