Skip to Main content Skip to Navigation
  1. Search


...
inria-00076221v1  Reports
Evelyne Bechler, Jean-Marie Proth, Kosta Voyiatzis. Artificial memory in production management
[Research Report] RR-0336, INRIA. 1984, pp.16
...
inria-00076191v1  Reports
Alain Bensoussan, Jean-Marie Proth. Economical ordering quantities for the two products problem with joint production costs
[Research Report] RR-0365, INRIA. 1985, pp.19
...
inria-00076180v1  Reports
Hervé Garcia, Jean-Marie Proth. Group technology in production management : the short horizon planning level
[Research Report] RR-0376, INRIA. 1985, pp.29
...
inria-00075875v1  Reports
Michaël Rusinowitch, Jieh Hsiang. On word problems in equational theories
[Research Report] RR-0678, INRIA. 1987, pp.20
...
inria-00075874v1  Reports
Michaël Rusinowitch. On termination of the direct sum of term rewriting systems
[Research Report] RR-0679, INRIA. 1987, pp.10
...
inria-00075878v1  Reports
Pierre Lescanne, Thierry Heuillard, Max Dauchet, S. Tison. Decidability of the confluence of ground term rewriting systems
[Research Report] RR-0675, INRIA. 1987
...
inria-00075871v1  Reports
Azzedine Lazrek, Pierre Lescanne, Jean-Jacques Thiel. Proving inductive equalities algorithms and implementation
[Research Report] RR-0682, INRIA. 1987
...
inria-00075873v1  Reports
Hélène Kirchner. Shematization of infinite sets of rewrite rules. Applications to the divergence of completion processes
[Research Report] RR-0680, INRIA. 1987
...
inria-00075816v1  Reports
Xiaolan Xie, Hervé Hillion, Jean-Marie Proth. Medium term production planning model with production subsystems and part-families
[Research Report] RR-0736, INRIA. 1987
...
inria-00075876v1  Reports
Ahlem Ben Cherifa, Pierre Lescanne. Termination of rewriting systems by polynomial interpretations and its implementation
[Research Report] RR-0677, INRIA. 1987
...
inria-00075872v1  Reports
Pierre Rety. Improving basic narrowing techniques and commutation properties
[Research Report] RR-0681, INRIA. 1987
...
inria-00075862v1  Reports
Jean-Paul Haton. Knowledge-based methodology in pattern recognition and understanding
[Research Report] RR-0691, INRIA. 1987
...
inria-00075870v1  Reports
Nicole Levy, Alina Piganiol, Jeanine Souquières. Specifying with SACSO
[Research Report] RR-0683, INRIA. 1987
...
inria-00075820v1  Reports
Isabelle Gnaedig. Investigations on termination of equational rewriting
[Research Report] RR-0732, INRIA. 1987
...
inria-00075867v1  Reports
Claude Kirchner, Pierre Lescanne. Solving disequations
[Research Report] RR-0686, INRIA. 1987
...
inria-00075877v1  Reports
Jean-Luc Rémy, Hubert Comon. How to characterize the language of ground normal forms
[Research Report] RR-0676, INRIA. 1987
...
inria-00075819v1  Reports
Isabelle Gnaedig. Knuth-Bendix procedure and non deterministic behavior. An example
[Research Report] RR-0733, INRIA. 1987
...
inria-00077180v1  Reports
Hassan Laasri, Brigitte Maitre, Thierry Mondot, François Charpillet, Jean-Paul Haton. ATOME : a blackboard architecture with temporal and hypothetical reasoning
[Research Report] RR-0855, INRIA. 1988
...
inria-00075634v1  Reports
Pierre Nugues, Josiane Steinmetz, Jean-Paul Haton, Marie-Madeleine Galteau, Gérard Siest. Interpretation of two-dimensional electrophoresis gels
[Research Report] RR-0921, INRIA. 1988
...
inria-00075652v1  Reports
Hubert Comon, Pierre Lescanne. Equational problems and disunification
[Research Report] RR-0904, INRIA. 1988
...
inria-00075605v1  Reports
Claude Kirchner. Order-sorted equational unification
[Research Report] RR-0954, INRIA. 1988
...
inria-00075447v1  Reports
Saïd Laftit, Jean-Marie Proth. Evaluation of job-shops with random manufacturing times : a Petri net approach
[Research Report] RR-1112, INRIA. 1989, pp.15
...
inria-00075538v1  Reports
Xiaolan Xie. Optimal control in a failure prone manufacturing system
[Research Report] RR-1020, INRIA. 1989, pp.25
...
inria-00075437v1  Reports
Gilles Celeux, Gérard Govaert. Clustering criteria for discrete data and latent class models
[Research Report] RR-1122, INRIA. 1989, pp.9
...
inria-00075432v1  Reports
G. Feigin, Jean-Marie Proth. Performance analysis of a flexible manufacturing cell feeding several machines with finite buffer capacity
[Research Report] RR-1127, INRIA. 1989, pp.16
...
inria-00075470v1  Reports
Xiaolan Xie. Performance analysis of a transfer line with unreliable machines and finite buffers
[Research Report] RR-1089, INRIA. 1989, pp.24
...
inria-00075504v1  Reports
Jean Hilger, George Harhalakis, Jean-Marie Proth. Generalized cross-decomposition method : algorithm and implementation
[Research Report] RR-1055, INRIA. 1989, pp.19
...
inria-00075324v1  Reports
Francis Conrad, Michel Pierre. Stabilization of Euler-Bernoulli beam by nonlinear boundary feedback
[Research Report] RR-1235, INRIA. 1990, pp.25
...
inria-00075306v1  Reports
Olivier Coulaud, Antoine Henrot. A nonlinear boundary value problem solved by spectral methods
[Research Report] RR-1252, INRIA. 1990, pp.18
...
inria-00075333v1  Reports
Gau Rong Liang. A proposed classification of intelligent manufacturing systems using consistency analysis
[Research Report] RR-1225, INRIA. 1990, pp.10