Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- 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]