Semantics and axiomatics of a simple recursive language.
Bruno Courcelle, Jean E. Vuillemin · 1974
Numérisation avec OCR réalisée en 2024. La reconnaissance de caractères du PDF (format PDF/A) peut comporter des erreurs. Pour toutes informations complémentaires et les partages de propriété, merci de contacter le service IES [email protected]