Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2015

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

Iliano Cervesato
  • Function : Editor
  • PersonId : 972450
Kaustuv Chaudhuri
  • Function : Scientific advisor
  • PersonId : 2094
  • IdHAL : kaustuv
  • IdRef : 253132088

Dates and versions

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

Identifiers

Cite

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⟩
202 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More