A DEDUCTION METHOD FOR MODAL LOGICFARINAS DEL CERRO L.1982; ECAI 82. EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE/1982-07-12/ORSAY; DEU; KAISERLAUTERN: IMPR. ABTEILUNG FOTO-REPRO-DRUCK DER UNIVERSITAET KAISERLAUTERN; DA. 1982; PP. 60-61; BIBL. 9 REF.Conference Paper

A SIMPLE DEDUCTION METHOD FOR MODAL LOGICFARINAS DEL CERRO L.1982; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1982; VOL. 14; NO 2; PP. 49-51; BIBL. 8 REF.Article

LE PROJET AVEROES, UNE EXPERIENCE DE FORMALISATION DU RAISONNEMENT DANS LES SCIENCES SOCIALESBORILLO M; BOURRELLY L; FARINAS DEL CERRO L et al.sdREPRESENTATION DES CONNAISSANCES ET RAISONNEMENT DANS LES SCIENCES DE L'HOMME. COLLOQUE/1979/SAINT-MAXIMIN; FRA; ROCQUENCOURT: INRIA; DA. S.D.; PP. 458-474; BIBL. 14 REF.Conference Paper

MOLOG: A system that extends PROLOG with modal logicFARINAS DEL CERRO, L.New generation computing. 1986, Vol 4, Num 1, pp 35-50, issn 0288-3635Article

Interference logic=conditional logic+frame axiomFARINAS DEL CERRO, L; HERZIG, A.International journal of intelligent systems. 1994, Vol 9, Num 1, pp 119-130, issn 0884-8173Article

Théorie de la programmation et logique temporelle. II: Validation d'algorithmes parallèles = Programming theory and temporal logic. II: Certification of parallel algorithmsAUDUREAU, E; FARINAS DEL CERRO, L; ENJALBERT, P et al.TSI. Technique et science informatiques. 1988, Vol 7, Num 2, pp 181-200, issn 0752-4072Article

Logique de programmes et sémantique intensionnelle in La sémantique logique. Problèmes d'histoire et de méthodeAUDUREAU, E; FARINAS DEL CERRO, L.Histoire, Epistémologie, Langage Villeneuve d'Ascq. 1983, Vol 5, Num 2, pp 229-240Article

Modal resolution in clausal formENJALBERT, P; FARINAS DEL CERRO, L.Theoretical computer science. 1989, Vol 65, Num 1, pp 1-33, issn 0304-3975Article

DAL-A logic for data analysis. Theoretical computer science 36 (2,3) (1985) 251-264FARINAS DEL CERRO, L; ORLOWSKA, E.Theoretical computer science. 1986, Vol 47, Num 3, issn 0304-3975, 345Article

Dal ― A logic for data analysisFARIÑAS DEL CERRO, L; ORŁOWSKA, E.Theoretical computer science. 1985, Vol 36, Num 2-3, pp 251-264, issn 0304-3975Article

Déduction automatique en logique multi-modale par traduction = Translation-based automated deduction for multi-modal logicsGasquet, Olivier; Farinas Del Cerro, L.1994, 130 p.Thesis

Grammar LogicsFARIÑAS DEL CERRO, L; PENTTONEN, M.Logique et Analyse. 1988, Vol 31, Num 121-122, pp 123-134Article

Déduction automatique en géométrie par réduction de figures = Automated deduction in geometry by reduction of figuresLopez, Anne; Fariñas Del Cerro, L.1995, 250 p.Thesis

Sur les fondements de la notion de dépendance et de son application à la théorie de l'action = About the foundations of the dependence notion and its application to the action theoryLugardon, Valérie; Fariñas Del Cerro, L.1996, 140 p.Thesis

Modélisation et vérification orientées objet pour les systèmes réactifs = Object-oriented modeling and verification for reactive systemsServieres, Corinne; Farinas Del Cerro, L.1995, 360 p.Thesis

A tractable subclass of the block algebra : Constraint propagation and preconvex relationsBALBIANI, P; CONDOTTA, J.-F; FARINAS DEL CERRO, L et al.Lecture notes in computer science. 1999, pp 75-89, issn 0302-9743, isbn 3-540-66548-XConference Paper