E-LIB Suche - Ergebnisse für: Raoult, Jean-Claude

1

Context-Free Event Domains Are Recognizable:

Badouel, Eric ; Darondeau, Philippe ; Raoult, Jean-Claude
Information and Computation. 149 (1999) 2 - p. 134-172 , 1999

Link: https://doi.org/10.1006/..

2

Preface:

Raoult, Jean-Claude
Theoretical Computer Science. 126 (1994) 1 - p. 1 , 1994

Link: https://doi.org/10.1016/..

3

CAAP '92

17th Colloquium on Trees in Algebra and Programming, Rennes... Lecture notes in computer science ; 581

Raoult, Jean-Claude , 1992

Link: http://dx.doi.org/10.100..

Exemplar: Zentrale:Magazin 01.p.0470

4

CAAP '92

17th Colloquium on Trees in Algebra and Programming Rennes,... Lecture Notes in Computer Science ; 581;SpringerLink, Bücher

Raoult, Jean-Claude , 1992

Link: https://doi.org/10.1007/..

5

Proceedings

Lecture notes in computer science ; 581

Raoult, Jean-Claude , 1992

Exemplar: Zentrale:Magazin 01.p.0470

6

Proving open properties by induction:

Raoult, Jean-Claude
Information Processing Letters. 29 (1988) 1 - p. 19-23 , 1988

Link: https://doi.org/10.1016/..

7

The global storage needs of a subcomputation:

, In: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages,

Raoult, Jean-Claude ; Sethi, Ravi - p. 148-157 , 1984

Link: https://dl.acm.org/doi/1..

8

Properties of a Notation for Combining Functions:

Raoult, Jean-Claude ; Sethi, Ravi
Journal of the ACM (JACM). 30 (1983) 3 - p. 595-611 , 1983

Link: https://dl.acm.org/doi/1..

9

Properties of a Notation for Combining Functions:

Raoult, Jean-Claude ; Sethi, Ravi
Journal of the ACM. 30 (1983) 3 - p. 595-611 , 1983

Link: https://doi.org/10.1145/..

10

Operational and Semantic Equivalence Between Recursive Prog..:

Raoult, Jean-Claude ; Vuillemin, Jean
Journal of the ACM. 27 (1980) 4 - p. 772-796 , 1980

Link: https://doi.org/10.1145/..

11

Operational and Semantic Equivalence Between Recursive Prog..:

Raoult, Jean-Claude ; Vuillemin, Jean
Journal of the ACM (JACM). 27 (1980) 4 - p. 772-796 , 1980

Link: https://dl.acm.org/doi/1..

12

Operational and semantic equivalence between recursive prog..:

, In: Proceedings of the tenth annual ACM symposium on Theory of computing,

Raoult, Jean-Claude ; Vuillemin, Jean - p. 75-85 , 1978

Link: https://dl.acm.org/doi/1..

13

On graph rewritings:

Raoult, Jean Claude
Theoretical Computer Science. 32 (1984) 1-2 - p. 1-24 , 1984

Link: https://doi.org/10.1016/..

14

Semi-Cartesian squares and the Snake Lemma:

Raoult, Jean-Claude
http://arxiv.org/abs/1712.01637. , 2017

Link: http://arxiv.org/abs/171..

15

Context-Free Event Domains are recognizable:

Badouel, Eric ; Darondeau, Philippe ; Raoult, Jean-Claude
Report N°: RR-2588. , 1995

Link: https://hal.inria.fr/inr..