|
|
Langage de Dyck et groupe symetrique
Yves Cochet
[Rapport de recherche] RR-0222, INRIA. 1983
Reports
inria-00076336v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Unfold/fold program transformations
Laurent Kott
[Research Report] RR-0155, INRIA. 1982
Reports
inria-00076404v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Effective behaviour algebras
Philippe Darondeau
,
Serge Yoccoz
[Research Report] RR-0776, INRIA. 1987
Reports
inria-00075776v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A formal proof system for infinitary rational expressions
Philippe Darondeau
,
Laurent Kott
[Research Report] RR-0218, INRIA. 1983
Reports
inria-00076340v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Une méthode de conception de programmes fonctionnels
Raymond Durand
,
Martine Vergne
[Rapport de recherche] RR-0494, INRIA. 1986
Reports
inria-00076060v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Recursion induction principle revisited
Gérard Boudol
,
Laurent Kott
[Research Report] RR-0115, INRIA. 1982
Reports
inria-00076445v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An elarged definition and complete axiomatization of observational congruence of finite processes
Philippe Darondeau
[Research Report] RR-0140, INRIA. 1982
Reports
inria-00076420v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
How to improve branching algorithms for deciding on grammars equivalence
Didier Caucal
[Research Report] RR-0618, INRIA. 1987
Reports
inria-00075936v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Modelling infinitary behaviours of communicating systems
Philippe Darondeau
,
Boubakar Gamatié
[Research Report] RR-0749, INRIA. 1987
Reports
inria-00075803v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Proof systems for infinite behaviours
Philippe Darondeau
,
Serge Yoccoz
[Research Report] RR-0632, INRIA. 1987
Reports
inria-00075921v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On the observational semantics of fair parallelism
Philippe Darondeau
,
Laurent Kott
[Research Report] RR-0262, INRIA. 1983
Reports
inria-00076296v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|