- Renseignements pratiques
- Enseignement
Contact
LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
Email:
contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37
Accès aux publications de l'année : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024
[JHRety1998]
J.-H. Rety, Distributed Concurrent Constraint Programming, Fundamentae Informaticae, Vol.34, No.3, pp.323-346, June, 1998 Bibtex entry
[parfenoff:1998]
I. Parfenoff, An Efficient Parallel Algorithm for Maximum Matching for Some Classes of Graphs, J. of Parallel and Distributed Computing, Vol.52, No.1, pp.96-108, July 10, 1998 Bibtex entry
[ME.RA.RE.VI.97.6]
E. Melin, B. Raffin, X. Rebeuf et B. Virot, A Structured Synchronization and Communication Model Fitting Irregular Data Accesses, Journal of Parallel and Distributed Computing, Vol.50, pp.3-27, 1998 Bibtex entry
[DE.VI.96.1]
D. Delamarre et B. Virot, Simulated Annealing Algorithm: Technical Improvements, Operations Research, Vol.32, No.1, pp.43-73, 1998 Bibtex entry
[Anantharaman-Richard-tcs]
S. Anantharaman et G. Richard, A Rewrite Mechanism for Logic Programs with Negation, Theoretical Computer Science, Vol.192, No.1, pp.77-106, 1998 Bibtex entry
[GranvilJucs]
L. Granvilliers, A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems, Journal of Universal Computer Science, Vol.4, No.2, pp.125-146, 1998 Bibtex entry
[VL98]
C. Vrain et D. Laurent, Apprentissage et mise à jour de bases de donn\ées., TSI, Techniques et Sciences Informatiques, Vol.17, No.7, pp.869-894, 1998 Bibtex entry
[KV98]
Y. Kodratoff et C. Vrain, Machine Learning and Data Mining, Methods and Applications, Chapitre 15, pp.353-386, John Wiley and Sons, Ltd, 1998, Note: Editors: R.S. Michalski and I. Bratko and M. Kubat Bibtex entry
[Role1998]
E. Lecolinet, L. Likforman-Sulem, L. Robert, F. Role et J-L. Lebrave, An Integrated Reading and Editing Environment for Scholarly Research on Literary Works and their Handwritten Sources, in DL'98: Proceedings of the 3rd ACM International Conference on Digital Libraries, pp.144-151, 1998 Bibtex entry
[BoTo98]
V. Bouchitt\é et I. Todinca, Minimal triangulations for graphs with ``few'' minimal separators, in Proceedings 6th Annual European Symposium on Algorithms (ESA'98), Vol.1461, Lecture Notes in Computer Science, pp.344-355, Springer-Verlag, 1998 Bibtex entry
[GourantonDAF1998]
V. Gouranton, Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing, in Fifth International Static Analysis Symposium SAS'98, Vol.1503, Lecture Notes in Computer Science, pp.115-??, 1998 Bibtex entry
[DzeakouCARI98]
P. Dzeakou, P. Morand et C. Mullon, M\éthodes et architectures des systèmes d'information sur lénvironnement, in Actes du 4ème colloque CARI'98, Colloque Africain sur la Recherche en Informatique, Dakar, S\én\égal, 1998 Bibtex entry
[ClavierICL98]
V. Clavier et M. Coret, D\érivation avec et sans suffixe, in 16th International Congress of Linguists, Paris, France, 1998 Bibtex entry
[Lallouet:AGP98]
A. Lallouet, Semantics of a data-parallel logic language using the BSP execution model, in APPIA-GULP-PRODE 1998, Joint Conference on Declarative Programming, Jos\é L. Freire ed., pp.1-13, Corunna, Spain, July 20-23, 1998 Bibtex entry
[MartinMoalVrain:pkdd98]
L. Martin, F. Moal et C. Vrain, A Relational Data Mining Tool Based on Genetic Programming, in Proceedings of the 2nd European Symposium on Principles of Data Mining and Knowledge Discovery, Jan Zytkow et Mohamed Quafafou ed., Vol.1510, LNAI, pp.130-138, Nantes, France, Springer, September 23-26, 1998 Bibtex entry
[Andria-ecai98]
N. Andrianarivelo, W. Bousdira, J. Chabin et Z.Maazouzi, Designing FPLA Combinational Circuits byConditional Rewriting, in 13th European Conference on Artificial Intelligence (ECAI'98), H. Prade ed., pp.373-377, Brighton, U.K., John Wiley \& sons, 1998 Bibtex entry
[LimetSaubionPlilpalp98]
S. Limet et F. Saubion, A General Framework for $R$-unification, in proc of the Conf. on Principle of Declarative Programming (PLILP-ALP'98), C. Palamidessi, H. Glaser et K. Meinke ed., Vol.1490, LNCS, pp.266-281, Pisa, Italy, Springer Verlag, 1998 Bibtex entry
[Granvilliers-pdcs98]
L. Granvilliers, G. Hains, Q. Miller et N. Romero, A system for the high-level parallelization and cooperation of constraint solvers, in Proceedings of International Conference on Parallel and Distributed Computing and Systems (PDCS), Y. Pan, S. G. Akl et K. Li ed., pp.596-601, Las Vegas, USA, IASTED/ACTA Press, 1998 Bibtex entry
[pdcs98-pdbms]
M. Bamha et G. Hains, A Self-Balancing Join Algorithm for SN Machines, in Proceedings of International Conference on Parallel and Distributed Computing and Systems (PDCS), Y. Pan, S. G. Akl et K. Li ed., Las Vegas, USA, IASTED/ACTA Press, 1998 Bibtex entry
[BeL98b]
F. Bentayeb et D. Laurent, View Updates Translations in Relational Databases , in Database and Expert Systems Applications, DEXA98, No.1460, Lecture Notes in Computer Science, Vienna, Austria, Springer-Verlag, 1998 Bibtex entry
[Hains-pdpta98]
G. Hains, Subset Synchronization in BSP Computing, in PDPTA'98 International Conference on Parallel and Distributed Processing Techniques and Applications, H.R.Arabnia ed., Vol.I, pp.242-246, Las Vegas, CSREA Press, July, 1998 Bibtex entry
[BenGranvilCosinus]
F. Benhamou et L. Granvilliers, A Constraint Programming Toolbox for Nonlinear Constraint Solving, in Proceedings of Int. Conf. on Nonlinear Problems in Aviation and Aerospace, Daytona Beach (Florida), USA, 1998 Bibtex entry
[limetretyRTA98]
S. Limet et P. Rety , Solving Disequations modulo some Class of Rewrite System, in Proceedings of 9th Conference on Rewriting Techniques and Applications, T. Nipkow ed., Vol.1379, LNCS, pp.121-135, Tsukuba, Japan, Springer Verlag, 1998 Bibtex entry
[ME.RA.RE.VI.98]
E. Melin, B. Raffin, X. Rebeuf et B. Virot, A Simple Synchronization and Communication Multi-threaded Library for Automatic Distribution of Irregular Sequential Code, in Proceeedings of the Third International Conference on Massively Parallel Computing Systems, MPCS'98, Colorado Springs (USA), EUROMICRO, 1998 Bibtex entry
[BenGoualardGranvilHybrid]
F. Benhamou, F. Goualard et L. Granvilliers, A Hybrid Consistency for Real Constraint Solving, in Proceedings of the fourth International Conference on Interval Methods and their Application in Global Optimization, Nanjing, China, 1998 Bibtex entry
[LimetUNIF1998]
S. Limet et F. Saubion, Primal Grammars for $R$-unification., in International Workshop on Unification, UNIF'98, Rome, Italy, 1998 Bibtex entry
[Correnson1998A]
L. Correnson, E. Duris, D. Parigot et G. Roussel, Generic Programming by Program Composition, in WGP'98 Workshop on Generic Programming, Marstrand (Sweden), June, 1998 Bibtex entry
[TellezLopstr98]
A. Tellez-Arenas, Set constraints: validation for set-based specification, in Pre-Proceedings of LOPSTR'98 Eighth International Workshop on Logic Program Synthesis and Transformation, P. Flener et K.-K. Lau ed., No.UMCS-98-6-1, Technical Report Series, pp.204-211, University of Manchester, june, 1998 Bibtex entry
[Tellez-Ananth-Unif98]
A. Tellez-Arenas et S. Anantharaman, Intentional set constraints for formal specification, No.S-98/8, Università di Roma ``La Sapienza'', June, 1998, Note: Proceedings of $12^th$ International Workshop on Unification UNIF'98 Bibtex entry
[HanusRety98]
M. Hanus et P. Rety, Demand-driven Search in Functional Logic Programs, in Proc.\ of the 13th Workshop on Logic Programming (WLP'98), U. Egly et H. Tompits ed., pp.13-24, 1998, Note: RESEARCH Report 1843-1998-10, Institute of Information Systems, Technical University Vienna Bibtex entry
[Loulergue-cmpp98]
F. Loulergue, G. Hains et C. Foisy, A Calculus of Recursive-Parallel BSP Programs, in CMPP'98 International Workshop on Constructive Methods for Parallel Programming, S. Gorlatch ed., Marstrand, Sweden, Fakultät für Mathematik und Informatik, Univ. Passau, Germany, Technical Report MIP-9805, June, 1998 Bibtex entry
[GranvilNbc98]
L. Granvilliers, On the Combination of Box-consistency and Hull-consistency, in Proceedings of International Workshop on Non Binary Constraints, Brighton, UK, 1998, Note: post-ECAI'98 Bibtex entry
[Correnson1998B]
L. Correnson, E. Duris, D. Parigot et G. Roussel, Composition Symbolique, in JFLA'98 Journ\ées Francophones des Langages Applicatifs, No.17, Collection Didactique, Côme (Italie), INRIA, F\évrier, 1998 Bibtex entry
[Dupre1998]
M. Dupr\é, Optimisation des synchronisations pour des programmes data-parallèles sur une architecture MIMD multiprocesseurs, in RenPar'10, Strasbourg, 1998 Bibtex entry
[Tessier-jfplc-98]
G. Ferrand et A. Tessier, Correction et compl\étude des s\émantiques PLC revisit\ée par (co-)induction, in Journ\ées Francophones de Programmation Logique et Programmation par Contraintes, Olivier Ridoux ed., pp.19-38, Nantes, France, HERMES, 1998 Bibtex entry
[BeL98a]
F. Bentayeb et D. Laurent, Translating View Updates Using Inversion of Relational Algebra, in $11^th$ Romanian Symposium on Computer Science, ROSYCS'98, 1998 Bibtex entry
[GranvilRjcia98]
L. Granvilliers, Consistance locale de contraintes globales sur les R\éels, in Actes des Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle, Toulouse, France, 1998 Bibtex entry
[Loulergue-renpar10]
F. Loulergue, BSML : programmation BSP purement fonctionnelle, in RENPAR'10, Rencontres francophones du parallélisme, Universit\é de Strasbourg, Juin, 1998 Bibtex entry
[RR-LIFO-98-04]
N. Andrianarivelo, W. Bousdira, J. Chabin et Z. Maazouzi, A conditional rewrite-based method for designing combinational logic circuits, Research Report, No.RR-LIFO-98-04, LIFO, Laboratoire d'Informatique Fondamentale d'Orl\éans, Universit\é d'Orl\éans, BP 6759, F-45067 Orl\éans Cedex 2, 1998 Bibtex entry
[Clavier98]
V. Clavier, Etude s\émantique des noms d\ériv\és de verbe: problèmes d'aspect, rapport final du stage post-doctoral destin\é à l'AUPELF-UREF, Universit\é de Fribourg, 1998 Bibtex entry
[Tessier-discipl-deliverable1-98]
B. Malfon et A. Tessier, An Adaptation of Negative Declarative Error Diagnosis to any Computation Rule, Debugging Systems for Constraint Programming (ESPRIT 22532), 1998, Note: Deliverable D.WP2.1.M2.1-1 Bibtex entry
[Tessier-RR02-98]
G. Ferrand et A. Tessier, Correction et compl\étude des s\émantiques PLC revisit\ée par (co-)induction, No.98/02, LIFO, University of Orl\éans, 1998 Bibtex entry
[Tessier-discipl-deliverable2-98]
A. Goumairi et A. Tessier, Simplification of Finite Domain Constraints, Debugging Systems for Constraint Programming (ESPRIT 22532), 1998, Note: Deliverable D.WP3.4.M2.1-3 Bibtex entry
[Tessier-discipl-deliverable3-98]
A. Tessier, Implementation of the Declarative Diagnoser module for Calypso, Debugging Systems for Constraint Programming (ESPRIT 22532), 1998, Note: Deliverable D.WP3.2.M2.1 Bibtex entry
[Tessier-discipl-deliverable4-98]
A. Tessier, Correctness and Completeness of CLP Semantics revisited with (Co-)Induction, Debugging Systems for Constraint Programming (ESPRIT 22532), 1998, Note: Deliverable D.WP2.1.M2.1-2 Bibtex entry
[rr98-09]
F. Loulergue et G. Hains, An Introduction to BS$\lambda$, Rapport de Recherche, No.98-09, Universit\é d'Orl\éans, LIFO, Orl\éans, France, september, 1998 Bibtex entry
Revues internationales à comité de lecture (6)
[JHRety1998]
J.-H. Rety, Distributed Concurrent Constraint Programming, Fundamentae Informaticae, Vol.34, No.3, pp.323-346, June, 1998 Bibtex entry
[parfenoff:1998]
I. Parfenoff, An Efficient Parallel Algorithm for Maximum Matching for Some Classes of Graphs, J. of Parallel and Distributed Computing, Vol.52, No.1, pp.96-108, July 10, 1998 Bibtex entry
[ME.RA.RE.VI.97.6]
E. Melin, B. Raffin, X. Rebeuf et B. Virot, A Structured Synchronization and Communication Model Fitting Irregular Data Accesses, Journal of Parallel and Distributed Computing, Vol.50, pp.3-27, 1998 Bibtex entry
[DE.VI.96.1]
D. Delamarre et B. Virot, Simulated Annealing Algorithm: Technical Improvements, Operations Research, Vol.32, No.1, pp.43-73, 1998 Bibtex entry
[Anantharaman-Richard-tcs]
S. Anantharaman et G. Richard, A Rewrite Mechanism for Logic Programs with Negation, Theoretical Computer Science, Vol.192, No.1, pp.77-106, 1998 Bibtex entry
[GranvilJucs]
L. Granvilliers, A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems, Journal of Universal Computer Science, Vol.4, No.2, pp.125-146, 1998 Bibtex entry
Revues nationales à comité de lecture
[VL98]
C. Vrain et D. Laurent, Apprentissage et mise à jour de bases de donn\ées., TSI, Techniques et Sciences Informatiques, Vol.17, No.7, pp.869-894, 1998 Bibtex entry
Livres et chapitres de livres
[KV98]
Y. Kodratoff et C. Vrain, Machine Learning and Data Mining, Methods and Applications, Chapitre 15, pp.353-386, John Wiley and Sons, Ltd, 1998, Note: Editors: R.S. Michalski and I. Bratko and M. Kubat Bibtex entry
Conférences internationales avec actes et comité de lecture (17)
[Role1998]
E. Lecolinet, L. Likforman-Sulem, L. Robert, F. Role et J-L. Lebrave, An Integrated Reading and Editing Environment for Scholarly Research on Literary Works and their Handwritten Sources, in DL'98: Proceedings of the 3rd ACM International Conference on Digital Libraries, pp.144-151, 1998 Bibtex entry
[BoTo98]
V. Bouchitt\é et I. Todinca, Minimal triangulations for graphs with ``few'' minimal separators, in Proceedings 6th Annual European Symposium on Algorithms (ESA'98), Vol.1461, Lecture Notes in Computer Science, pp.344-355, Springer-Verlag, 1998 Bibtex entry
[GourantonDAF1998]
V. Gouranton, Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing, in Fifth International Static Analysis Symposium SAS'98, Vol.1503, Lecture Notes in Computer Science, pp.115-??, 1998 Bibtex entry
[DzeakouCARI98]
P. Dzeakou, P. Morand et C. Mullon, M\éthodes et architectures des systèmes d'information sur lénvironnement, in Actes du 4ème colloque CARI'98, Colloque Africain sur la Recherche en Informatique, Dakar, S\én\égal, 1998 Bibtex entry
[ClavierICL98]
V. Clavier et M. Coret, D\érivation avec et sans suffixe, in 16th International Congress of Linguists, Paris, France, 1998 Bibtex entry
[Lallouet:AGP98]
A. Lallouet, Semantics of a data-parallel logic language using the BSP execution model, in APPIA-GULP-PRODE 1998, Joint Conference on Declarative Programming, Jos\é L. Freire ed., pp.1-13, Corunna, Spain, July 20-23, 1998 Bibtex entry
[MartinMoalVrain:pkdd98]
L. Martin, F. Moal et C. Vrain, A Relational Data Mining Tool Based on Genetic Programming, in Proceedings of the 2nd European Symposium on Principles of Data Mining and Knowledge Discovery, Jan Zytkow et Mohamed Quafafou ed., Vol.1510, LNAI, pp.130-138, Nantes, France, Springer, September 23-26, 1998 Bibtex entry
[Andria-ecai98]
N. Andrianarivelo, W. Bousdira, J. Chabin et Z.Maazouzi, Designing FPLA Combinational Circuits byConditional Rewriting, in 13th European Conference on Artificial Intelligence (ECAI'98), H. Prade ed., pp.373-377, Brighton, U.K., John Wiley \& sons, 1998 Bibtex entry
[LimetSaubionPlilpalp98]
S. Limet et F. Saubion, A General Framework for $R$-unification, in proc of the Conf. on Principle of Declarative Programming (PLILP-ALP'98), C. Palamidessi, H. Glaser et K. Meinke ed., Vol.1490, LNCS, pp.266-281, Pisa, Italy, Springer Verlag, 1998 Bibtex entry
[Granvilliers-pdcs98]
L. Granvilliers, G. Hains, Q. Miller et N. Romero, A system for the high-level parallelization and cooperation of constraint solvers, in Proceedings of International Conference on Parallel and Distributed Computing and Systems (PDCS), Y. Pan, S. G. Akl et K. Li ed., pp.596-601, Las Vegas, USA, IASTED/ACTA Press, 1998 Bibtex entry
[pdcs98-pdbms]
M. Bamha et G. Hains, A Self-Balancing Join Algorithm for SN Machines, in Proceedings of International Conference on Parallel and Distributed Computing and Systems (PDCS), Y. Pan, S. G. Akl et K. Li ed., Las Vegas, USA, IASTED/ACTA Press, 1998 Bibtex entry
[BeL98b]
F. Bentayeb et D. Laurent, View Updates Translations in Relational Databases , in Database and Expert Systems Applications, DEXA98, No.1460, Lecture Notes in Computer Science, Vienna, Austria, Springer-Verlag, 1998 Bibtex entry
[Hains-pdpta98]
G. Hains, Subset Synchronization in BSP Computing, in PDPTA'98 International Conference on Parallel and Distributed Processing Techniques and Applications, H.R.Arabnia ed., Vol.I, pp.242-246, Las Vegas, CSREA Press, July, 1998 Bibtex entry
[BenGranvilCosinus]
F. Benhamou et L. Granvilliers, A Constraint Programming Toolbox for Nonlinear Constraint Solving, in Proceedings of Int. Conf. on Nonlinear Problems in Aviation and Aerospace, Daytona Beach (Florida), USA, 1998 Bibtex entry
[limetretyRTA98]
S. Limet et P. Rety , Solving Disequations modulo some Class of Rewrite System, in Proceedings of 9th Conference on Rewriting Techniques and Applications, T. Nipkow ed., Vol.1379, LNCS, pp.121-135, Tsukuba, Japan, Springer Verlag, 1998 Bibtex entry
[ME.RA.RE.VI.98]
E. Melin, B. Raffin, X. Rebeuf et B. Virot, A Simple Synchronization and Communication Multi-threaded Library for Automatic Distribution of Irregular Sequential Code, in Proceeedings of the Third International Conference on Massively Parallel Computing Systems, MPCS'98, Colorado Springs (USA), EUROMICRO, 1998 Bibtex entry
[BenGoualardGranvilHybrid]
F. Benhamou, F. Goualard et L. Granvilliers, A Hybrid Consistency for Real Constraint Solving, in Proceedings of the fourth International Conference on Interval Methods and their Application in Global Optimization, Nanjing, China, 1998 Bibtex entry
Workshops internationaux avec actes et comité de lecture (7)
[LimetUNIF1998]
S. Limet et F. Saubion, Primal Grammars for $R$-unification., in International Workshop on Unification, UNIF'98, Rome, Italy, 1998 Bibtex entry
[Correnson1998A]
L. Correnson, E. Duris, D. Parigot et G. Roussel, Generic Programming by Program Composition, in WGP'98 Workshop on Generic Programming, Marstrand (Sweden), June, 1998 Bibtex entry
[TellezLopstr98]
A. Tellez-Arenas, Set constraints: validation for set-based specification, in Pre-Proceedings of LOPSTR'98 Eighth International Workshop on Logic Program Synthesis and Transformation, P. Flener et K.-K. Lau ed., No.UMCS-98-6-1, Technical Report Series, pp.204-211, University of Manchester, june, 1998 Bibtex entry
[Tellez-Ananth-Unif98]
A. Tellez-Arenas et S. Anantharaman, Intentional set constraints for formal specification, No.S-98/8, Università di Roma ``La Sapienza'', June, 1998, Note: Proceedings of $12^th$ International Workshop on Unification UNIF'98 Bibtex entry
[HanusRety98]
M. Hanus et P. Rety, Demand-driven Search in Functional Logic Programs, in Proc.\ of the 13th Workshop on Logic Programming (WLP'98), U. Egly et H. Tompits ed., pp.13-24, 1998, Note: RESEARCH Report 1843-1998-10, Institute of Information Systems, Technical University Vienna Bibtex entry
[Loulergue-cmpp98]
F. Loulergue, G. Hains et C. Foisy, A Calculus of Recursive-Parallel BSP Programs, in CMPP'98 International Workshop on Constructive Methods for Parallel Programming, S. Gorlatch ed., Marstrand, Sweden, Fakultät für Mathematik und Informatik, Univ. Passau, Germany, Technical Report MIP-9805, June, 1998 Bibtex entry
[GranvilNbc98]
L. Granvilliers, On the Combination of Box-consistency and Hull-consistency, in Proceedings of International Workshop on Non Binary Constraints, Brighton, UK, 1998, Note: post-ECAI'98 Bibtex entry
Conférences/workshops nationaux avec actes (6)
[Correnson1998B]
L. Correnson, E. Duris, D. Parigot et G. Roussel, Composition Symbolique, in JFLA'98 Journ\ées Francophones des Langages Applicatifs, No.17, Collection Didactique, Côme (Italie), INRIA, F\évrier, 1998 Bibtex entry
[Dupre1998]
M. Dupr\é, Optimisation des synchronisations pour des programmes data-parallèles sur une architecture MIMD multiprocesseurs, in RenPar'10, Strasbourg, 1998 Bibtex entry
[Tessier-jfplc-98]
G. Ferrand et A. Tessier, Correction et compl\étude des s\émantiques PLC revisit\ée par (co-)induction, in Journ\ées Francophones de Programmation Logique et Programmation par Contraintes, Olivier Ridoux ed., pp.19-38, Nantes, France, HERMES, 1998 Bibtex entry
[BeL98a]
F. Bentayeb et D. Laurent, Translating View Updates Using Inversion of Relational Algebra, in $11^th$ Romanian Symposium on Computer Science, ROSYCS'98, 1998 Bibtex entry
[GranvilRjcia98]
L. Granvilliers, Consistance locale de contraintes globales sur les R\éels, in Actes des Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle, Toulouse, France, 1998 Bibtex entry
[Loulergue-renpar10]
F. Loulergue, BSML : programmation BSP purement fonctionnelle, in RENPAR'10, Rencontres francophones du parallélisme, Universit\é de Strasbourg, Juin, 1998 Bibtex entry
Divers (8)
[RR-LIFO-98-04]
N. Andrianarivelo, W. Bousdira, J. Chabin et Z. Maazouzi, A conditional rewrite-based method for designing combinational logic circuits, Research Report, No.RR-LIFO-98-04, LIFO, Laboratoire d'Informatique Fondamentale d'Orl\éans, Universit\é d'Orl\éans, BP 6759, F-45067 Orl\éans Cedex 2, 1998 Bibtex entry
[Clavier98]
V. Clavier, Etude s\émantique des noms d\ériv\és de verbe: problèmes d'aspect, rapport final du stage post-doctoral destin\é à l'AUPELF-UREF, Universit\é de Fribourg, 1998 Bibtex entry
[Tessier-discipl-deliverable1-98]
B. Malfon et A. Tessier, An Adaptation of Negative Declarative Error Diagnosis to any Computation Rule, Debugging Systems for Constraint Programming (ESPRIT 22532), 1998, Note: Deliverable D.WP2.1.M2.1-1 Bibtex entry
[Tessier-RR02-98]
G. Ferrand et A. Tessier, Correction et compl\étude des s\émantiques PLC revisit\ée par (co-)induction, No.98/02, LIFO, University of Orl\éans, 1998 Bibtex entry
[Tessier-discipl-deliverable2-98]
A. Goumairi et A. Tessier, Simplification of Finite Domain Constraints, Debugging Systems for Constraint Programming (ESPRIT 22532), 1998, Note: Deliverable D.WP3.4.M2.1-3 Bibtex entry
[Tessier-discipl-deliverable3-98]
A. Tessier, Implementation of the Declarative Diagnoser module for Calypso, Debugging Systems for Constraint Programming (ESPRIT 22532), 1998, Note: Deliverable D.WP3.2.M2.1 Bibtex entry
[Tessier-discipl-deliverable4-98]
A. Tessier, Correctness and Completeness of CLP Semantics revisited with (Co-)Induction, Debugging Systems for Constraint Programming (ESPRIT 22532), 1998, Note: Deliverable D.WP2.1.M2.1-2 Bibtex entry
[rr98-09]
F. Loulergue et G. Hains, An Introduction to BS$\lambda$, Rapport de Recherche, No.98-09, Universit\é d'Orl\éans, LIFO, Orl\éans, France, september, 1998 Bibtex entry
22/6/2010. Généré par biblifo, un programme Objective Caml.
Université d'Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 