Reduction semantics for rational schemes
1984
Pour des schemas relationnels, construits par recurrence par combinaison de projections, compositions et resolutions, nous introduisons la semantique par reduction et nous donnons une preuve algebrique de son equivalence avec la semantique denotationnelle
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
11
References
0
Citations
NaN
KQI