Recherche - TEL - Thèses en ligne

Recherche - TEL - Thèses en ligne

Documentation
Français (FR)

Anglais (EN)

1 résultat

Structure : Identifiant HAL de la structure : 36235

	Pour les 1 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Signatures and models for syntax and operational semantics in the presence of variable binding Ambroise Lafont Logic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0161⟩ Thèse tel-03267858v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More