Show Menu
Hide Menu
Laboratorio di Computer Sciences
Dal Direttore
Organizzazione
Organizzazione del LIP6
Direttori
Servizi amministrativi
IT Service
Consiglio Scientifico
Consiglio di Laboratorio
Bordo
Teaching
Come raggiungerci
Ricerca
Axes & Teams
Pubblicazioni
Progetti
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Relazione annuale
Valutazione
Our skills
Works with us
Software
Brevetti
Start-ups
Offerte di lavoro
Rubrica del personale
Colloquio
๐
๐ซ
๐ฎ๐น
๐ซ๐ท
๐ฌ๐ง
๐ฎ๐น
-
Computer Science Laboratory
Ricerca
Pubblicazioni
Research reports
Gruppi di ricerca attuali :
ALMASTY
ALSOC
APR
BD
CIAN
ComplexNetworks
DECISION
DELYS
LFI
MOCAH
MoVe
NPA
PEQUAN
PolSys
QI
RO
SMA
SYEL
LIP6
M. Jaume
: “
On greatest fixpoint semantics of logic programming
”, Journal of Logic and Computation, vol. 12 (2), pp. 321-342, (Oxford University Press (OUP)) [Jaume 2002]
V. Prevosto, D. Doligez
: “
Algorithms and Proofs Inheritance in the FOC Language
”, Journal of Automated Reasoning, vol. 29 (3-4), pp. 337-363, (Springer Verlag) [Prevosto 2002b]