Kröger, F. On temporal program verification rules. (English) Zbl 0563.68007 RAIRO, Inf. Théor. 19, 261-280 (1985). MSC: 68Q60 PDFBibTeX XMLCite \textit{F. Kröger}, RAIRO, Inf. Théor. 19, 261--280 (1985; Zbl 0563.68007) Full Text: EuDML
Courcelle, B.; Lavandier, F. Définitions récursives par cas. (French) Zbl 0562.68004 RAIRO, Inf. Théor. 18, 91-129 (1984). Reviewer: C.Calude MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{B. Courcelle} and \textit{F. Lavandier}, RAIRO, Inf. Théor. 18, 91--129 (1984; Zbl 0562.68004) Full Text: EuDML
Graf, Susanne On Lamport’s comparison between linear and branching time temporal logic. (English) Zbl 0551.68033 RAIRO, Inf. Théor. 18, 345-353 (1984). Reviewer: J.Zlatuska MSC: 68Q65 68Q60 03B45 68N25 PDFBibTeX XMLCite \textit{S. Graf}, RAIRO, Inf. Théor. 18, 345--353 (1984; Zbl 0551.68033) Full Text: EuDML
Dikovskij, A. Ja. A theory of complexity of monadic recursion schemes. (English) Zbl 0469.68050 RAIRO, Inf. Théor. 15, 67-94 (1981). MSC: 68Q25 68Q60 68Q45 PDFBibTeX XMLCite \textit{A. Ja. Dikovskij}, RAIRO, Inf. Théor. 15, 67--94 (1981; Zbl 0469.68050) Full Text: EuDML
Enjalbert, P. Systemes de deduction pour les arbres et les schemas de programme. II. (French) Zbl 0464.68019 RAIRO, Inf. Théor. 15, 3-21 (1981). MSC: 68Q60 PDFBibTeX XMLCite \textit{P. Enjalbert}, RAIRO, Inf. Théor. 15, 3--21 (1981; Zbl 0464.68019) Full Text: EuDML
Arnold, Andre Semantique des processus communicants. (French) Zbl 0463.68033 RAIRO, Inf. Théor. 15, 103-139 (1981). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{A. Arnold}, RAIRO, Inf. Théor. 15, 103--139 (1981; Zbl 0463.68033) Full Text: EuDML
Astesiano, Egidio; Costa, Gerardo Nondeterminism and fully abstract models. (English) Zbl 0463.03024 RAIRO, Inf. Théor. 14, 323-347 (1980). MSC: 03C99 03B40 68N01 68Q60 68Q65 PDFBibTeX XMLCite \textit{E. Astesiano} and \textit{G. Costa}, RAIRO, Inf. Théor. 14, 323--347 (1980; Zbl 0463.03024) Full Text: EuDML
Enjalbert, P. Systemes de deduction pour les arbres et les schemas de programmes. (French) Zbl 0441.68007 RAIRO, Inf. Théor. 14, 247-278 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{P. Enjalbert}, RAIRO, Inf. Théor. 14, 247--278 (1980; Zbl 0441.68007) Full Text: EuDML
Salle, P. Note sur la semantique des structures de contrôle. (French) Zbl 0427.68027 RAIRO, Inf. Théor. 13, 185-188 (1979). MSC: 68N25 68N01 68Q60 PDFBibTeX XMLCite \textit{P. Salle}, RAIRO, Inf. Théor. 13, 185--188 (1979; Zbl 0427.68027) Full Text: EuDML
Courcelle, Bruno Arbres infinis et systèmes d’équations. (French) Zbl 0406.68017 RAIRO, Inf. Théor. 13, 31-48 (1979). MSC: 68Q60 18B20 PDFBibTeX XMLCite \textit{B. Courcelle}, RAIRO, Inf. Théor. 13, 31--48 (1979; Zbl 0406.68017) Full Text: EuDML
Guessarian, I. A propos de la semantique de l’appel par valeur selon A. Arnold. (French) Zbl 0392.68007 RAIRO, Inf. Théor. 12, 287-289 (1978). MSC: 68Q60 68N01 68Q65 PDFBibTeX XMLCite \textit{I. Guessarian}, RAIRO, Inf. Théor. 12, 287--289 (1978; Zbl 0392.68007) Full Text: EuDML