返回Google圖書搜尋

Schémas de programme récursifs polyadiques

其他書名	équivalences sémantiques et classes d'interprétations
出版	Éditeur inconnu, 1975
URL	http://books.google.com.hk/books?id=NKmOOAAACAAJ&hl=&source=gbs_api

註釋Etude du problème de l'équivalence (ou de l'inclusion) sémantique de deux schémas de programme. On adopte ici un point de vue algébrique, c'est-a-dire que l'on tente d'expliciter la nature même de ces phénomènes en étudiant leurs liens avec certaines équivalences syntaxiques sur le magma libre engendre par les langages schématiques.