Paper Info
Title
Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques
Abstract
Dans [3] de Bakker et Scott définissent une classe de schémas de programmes et un système formel permettant de prouver certaines propriétés de ces schémas. Sous le nom de -calculus, ce système a été repris par de Bakker [2] qui a montré que le système est complet relativement aux formules exprimant l'équivalence des schémas de Ianov. Nous montrons ici la complétude de ce système pour les schémas récursifs monadiques définis par Ashcroft, Manna et Pnueli [1] (et écrits sans la fonction identité).
Year
DOI
Venue
1974
10.1007/3-540-06859-7_137
Symposium on Programming
Keywords
Field
DocType
un syst,mas r,cursifs monadiques,prouver l
Humanities,Equivalence (measure theory),Philosophy
Conference
ISBN
Citations 
PageRank 
3-540-06859-7
0
0.34
References 
Authors
4
2
Name
Order
Citations
PageRank
Bruno Courcelle13418388.00
Jean Vuillemin200.34