Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

14 Results
Structure: Internal structure identifier : 152607
Image document

Langage de Dyck et groupe symetrique

Yves Cochet
[Rapport de recherche] RR-0222, INRIA. 1983
Reports inria-00076336v1
Image document

Unfold/fold program transformations

Laurent Kott
[Research Report] RR-0155, INRIA. 1982
Reports inria-00076404v1
Image document

Effective behaviour algebras

Philippe Darondeau , Serge Yoccoz
[Research Report] RR-0776, INRIA. 1987
Reports inria-00075776v1
Image document

Une critique de la notion de test de processus fondée sur la non séparabilite de certaines classes de langages

Philippe Darondeau
[Rapport de recherche] RR-0425, INRIA. 1985
Reports inria-00076131v1
Image document

A formal proof system for infinitary rational expressions

Philippe Darondeau , Laurent Kott
[Research Report] RR-0218, INRIA. 1983
Reports inria-00076340v1
Image document

Une méthode de conception de programmes fonctionnels

Raymond Durand , Martine Vergne
[Rapport de recherche] RR-0494, INRIA. 1986
Reports inria-00076060v1
Image document

Recursion induction principle revisited

Gérard Boudol , Laurent Kott
[Research Report] RR-0115, INRIA. 1982
Reports inria-00076445v1
Image document

Une construction systématique de modèles à partir de spécifications opérationnelles structurelles

Eric Badouel
[Rapport de recherche] RR-0764, INRIA. 1987
Reports inria-00075788v1
Image document

An elarged definition and complete axiomatization of observational congruence of finite processes

Philippe Darondeau
[Research Report] RR-0140, INRIA. 1982
Reports inria-00076420v1
Image document

How to improve branching algorithms for deciding on grammars equivalence

Didier Caucal
[Research Report] RR-0618, INRIA. 1987
Reports inria-00075936v1
Image document

Modelling infinitary behaviours of communicating systems

Philippe Darondeau , Boubakar Gamatié
[Research Report] RR-0749, INRIA. 1987
Reports inria-00075803v1
Image document

Proof systems for infinite behaviours

Philippe Darondeau , Serge Yoccoz
[Research Report] RR-0632, INRIA. 1987
Reports inria-00075921v1
Image document

On the observational semantics of fair parallelism

Philippe Darondeau , Laurent Kott
[Research Report] RR-0262, INRIA. 1983
Reports inria-00076296v1
Image document

Une méthode de transformation de programmes applicable à la systolisation

Raymond Durand , Brigitte Joinnault , Martine Vergne
[Rapport de recherche] RR-0741, INRIA. 1987
Reports inria-00075811v1