Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice

Iliano Cervesato; Kaustuv Chaudhuri

doi:10.4204/EPTCS.185

Ouvrages Année : 2015

Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice

(1) , (2)

1
2

Iliano Cervesato

Fonction : Directeur de publication
PersonId : 972450

Carnegie Mellon University in Qatar

Kaustuv Chaudhuri

Fonction : Directeur scientifique
PersonId : 2094
IdHAL : kaustuv
ORCID : 0000-0003-2938-547X
IdRef : 253132088

Proof search and reasoning with logic specifications

CV

Domaines

Logique en informatique [cs.LO]

Kaustuv Chaudhuri : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01222747

Soumis le : vendredi 30 octobre 2015-14:41:47

Dernière modification le : vendredi 24 mars 2023-14:53:01

Dates et versions

hal-01222747 , version 1 (30-10-2015)

Identifiants

HAL Id : hal-01222747 , version 1
DOI : 10.4204/EPTCS.185

Citer

Iliano Cervesato, Kaustuv Chaudhuri (Dir.). Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice. Iliano Cervesato; Kaustuv Chaudhuri. , 2015, ⟨10.4204/EPTCS.185⟩. ⟨hal-01222747⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE

204 Consultations

0 Téléchargements

Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager