Précédent : Diffusion de logiciels Remonter :
Projet
EURÉCA Suivant : Abstract
- Thèses
- 1
- O. AïT MOHAMED, La théorie du
-calcul dans le
système HOL, thèse de doctorat, Université Henri Poincaré
Nancy I, juillet 1996.
- 2
- B. CHETALI,
Vérification Formelle des Systèmes Parallèles décrits en
UNITY à l'aide d'un outil de Démonstration Automatique,
thèse de doctorat, Université Henri Poincaré Nancy I, mai
1996.
- Articles
- 3
- Z. BENAISSA,
D. BRIAUD,
P. LESCANNE,
J. ROUYER-DEGLI, ``
,
a calculus of explicit substitutions which preserves strong
normalisation'', Journal of Functional Programming 6,
5, septembre 1996, (paru aussi comme rapport de recherche Inria
n°2477).
- 4
- E. CICHON,
M. RUSINOWITCH,
S. SELHAB, ``Cut
Elimination and Rewriting: Termination proofs'',
Theoretical Computer Science B, à paraître.
- 5
- N. CREIGNOU,
M. HERMANN,
``Complexity of generalized satisfiability counting problems'',
Information and Computation 125, 1, 1996,
p. 1-12.
- 6
- M. HERMANN,
P. KOLAITIS, ``The
complexity of counting problems in equational matching'',
Journal of Symbolic Computation 20, 3, 1995,
p. 343-362.
- 7
- P. LESCANNE,
Encyclopédie Illustrée de la Lorraine, Sciences
exactes, Éditions Serpenoises, 1996, ch. La science
informatique en Lorraine.
- Communications à
congrès
- 8
- R. BLOO,
K. H. ROSE,
``Combinatory Reduction Systems with Explicit Substitution that
Preserve Strong Normalisation'', in: 7th RTA--Rewriting
Techniques and Applications, H. Ganzinger (réd.),
Lecture Notes in Computer Science, 1103, Rutgers
University, Springer-Verlag, p. 169-183, New Brunswick,
New Jersey, juillet 1996, http://www.brics.dk/~krisrose/PAPERS/bloo+rose-rta96.ps.gz.
- 9
- D. BRIAUD,
``Higher Order Unification as a Typed Narrowing'', in:
Proceedings of UNIF'96, K. Schulz, S. Kepser
(réd.), CIS-Universität München, p. 131-138, 1996.
- 10
- A. CICHON,
H. TOUZET, ``An
Ordinal Calculus for Proving Termination in Term Rewriting'',
in: Int. CAAP-Coll.on Trees in Algebra and
Programming, H. Kirchner (réd.), Lecture Notes in
Computer Science, 1059, Springer-Verlag,
p. 226-240, 1996.
- 11
- P. CRéGUT,
F. GUILLEMIN,
B. HEYD, ``A
Protocol for Supporting the ATM Block Transfer with Delayed
Transmission Capability'', in: International Conference on
Network Protocols'96. sujet : ATM Protocols, 1996.
- 12
- P. CRéGUT,
B. HEYD, ``A modular
coding of Unity in Coq'', in: Theorem Proving in Higher
Order Logic, J. von Wright, J. Grundy,
J. Harrison (réd.), Lecture Notes in Computer
Science, 1125, Springer-Verlag, p. 251-266,
Turku, Finland, août 1996.
- 13
- Z. E. A. BENAISSA, K. H. ROSE, P. LESCANNE, ``Modeling Sharing and
Recursion for Weak Reduction Strategies using Explicit
Substitution'', in: 8th PLILP--Symposium on Programming
Language Implementation and Logic Programming,
H. Kuchen, D. Swierstra (réd.), Lecture Notes in
Computer Science, 1140, Springer-Verlag, p. 393-407,
Aachen, Germany, septembre 1996, http://www.loria.fr/~kris/benaissa+lescanne+rose-96.ps.gz.
- 14
- M. HERMANN,
P. KOLAITIS,
``Unification algorithms cannot be combined in polynomial
time'', in: Proceedings 13th International Conference on
Automated Deduction, New Brunswick NY (USA),
M. McRobbie, J. Slaney (réd.), Lecture Notes in
Artificial Intelligence, 1104, Springer-Verlag,
p. 246-260, juillet/août 1996.
- 15
- P. LESCANNE,
Z.-E.-A. BENAISSA, D. BRIAUD, ``Calculi of explicit
substitutions: new results'', in: Proceedings of the
conference APPIA-GULP-PRODE'96, p. 309-326, juillet
1996.
- 16
- P. LESCANNE,
``Programmation fonctionnelle et substitutions explicites'',
in: Proc. 3
Colloque Africaine
de Recherche en Informatique, CARI'96, P. Mokeli
(réd.), Ortsom Éditions, octobre 1996.
- 17
- F. POSTEL,
P. ZIMMERMANN, ``A
review of the ODE solvers of Axiom, Derive, Maple, Mathematica,
Macsyma, MuPAD and Reduce'', in: Proceedings of the 5th
RHINE workshop on computer algebra, A. C.
et L. R. Oudin (réd.), p. 2.1-2.10,
Saint-Louis (France), avril 1996, http://www.loria.fr/~zimmerma/papers.
- Rapports de
recherche
- 18
- F. BERTAULT,
``Maple : résumé de cours et exercices en sciences physiques'',
rapport de recherche n°RR-2936, Inria Lorraine,
1996.
- Divers
- 19
- P. DEVIENNE,
P. LESCANNE,
``Rapport d'activités du GDR-PRC Programmation'', janvier
1996.
- 20
- V. GRéBINSKI,
G. KUCHEROV,
``Reconstructing a Hamiltonian circuit by queuering the graph:
Application to DNA physical mapping'', Soumis à Discrete
Applied Mathematics, 1996.
- 21
- R. KOLPAKOV,
G. KUCHEROV,
``Minimal letter frequence in n-th power-free binary
words'', Soumis au Colloquium on Trees in Algebra and
Programming (TAPSOFT'97), 1996.
- 22
- P. ZIMMERMANN,
L. BERNARDIN,
M. MONAGAN,
``Polynomial Factorization Challenges'', Poster à ISSAC'96,
juillet 1996, http://www.loria.fr/~zimmerma/papers.