- Contacts/Reaching LIFO
- Teaching
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
Go to publications of year : 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 and 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 and B. Virot, Simulated Annealing Algorithm: Technical Improvements, Operations Research, Vol.32, No.1, pp.43-73, 1998 Bibtex entry
[Anantharaman-Richard-tcs]
S. Anantharaman and 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 and 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 and C. Vrain, Machine Learning and Data Mining, Methods and Applications, Chapter 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 and 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\é and 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 and 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 and 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 and 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 and 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 and 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 and 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 and K. Meinke ed., Vol.1490, LNCS, pp.266-281, Pisa, Italy, Springer Verlag, 1998 Bibtex entry
[Granvilliers-pdcs98]
L. Granvilliers, G. Hains, Q. Miller and 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 and K. Li ed., pp.596-601, Las Vegas, USA, IASTED/ACTA Press, 1998 Bibtex entry
[pdcs98-pdbms]
M. Bamha and 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 and K. Li ed., Las Vegas, USA, IASTED/ACTA Press, 1998 Bibtex entry
[BeL98b]
F. Bentayeb and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and P. Rety, Demand-driven Search in Functional Logic Programs, in Proc.\ of the 13th Workshop on Logic Programming (WLP'98), U. Egly and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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
International Refereed Journals (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 and 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 and B. Virot, Simulated Annealing Algorithm: Technical Improvements, Operations Research, Vol.32, No.1, pp.43-73, 1998 Bibtex entry
[Anantharaman-Richard-tcs]
S. Anantharaman and 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
National Refereed Journals
[VL98]
C. Vrain and 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
Books or Book Chapters
[KV98]
Y. Kodratoff and C. Vrain, Machine Learning and Data Mining, Methods and Applications, Chapter 15, pp.353-386, John Wiley and Sons, Ltd, 1998, Note: Editors: R.S. Michalski and I. Bratko and M. Kubat Bibtex entry
International Conferences with Proceedings (17)
[Role1998]
E. Lecolinet, L. Likforman-Sulem, L. Robert, F. Role and 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\é and 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 and 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 and 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 and 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 and 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 and 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 and 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 and K. Meinke ed., Vol.1490, LNCS, pp.266-281, Pisa, Italy, Springer Verlag, 1998 Bibtex entry
[Granvilliers-pdcs98]
L. Granvilliers, G. Hains, Q. Miller and 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 and K. Li ed., pp.596-601, Las Vegas, USA, IASTED/ACTA Press, 1998 Bibtex entry
[pdcs98-pdbms]
M. Bamha and 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 and K. Li ed., Las Vegas, USA, IASTED/ACTA Press, 1998 Bibtex entry
[BeL98b]
F. Bentayeb and 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 and 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 and 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 and 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 and 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
International Workshops with Proceedings (7)
[LimetUNIF1998]
S. Limet and 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 and 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 and 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 and 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 and P. Rety, Demand-driven Search in Functional Logic Programs, in Proc.\ of the 13th Workshop on Logic Programming (WLP'98), U. Egly and 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 and 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
National Conferences/Workshops with Proceedings (6)
[Correnson1998B]
L. Correnson, E. Duris, D. Parigot and 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 and 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 and 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
Miscellaneous (8)
[RR-LIFO-98-04]
N. Andrianarivelo, W. Bousdira, J. Chabin and 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 and 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 and 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 and 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 and 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.
University of Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 