Skip to Main content Skip to Navigation
Directions of work or proceedings

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

Iliano Cervesato 1 Kaustuv Chaudhuri 2 
1 Carnegie Mellon University in Qatar
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal.inria.fr/hal-01222747
Contributor : Kaustuv Chaudhuri Connect in order to contact the contributor
Submitted on : Friday, October 30, 2015 - 2:41:47 PM
Last modification on : Thursday, January 20, 2022 - 5:27:44 PM

Links full text

openaccess

Identifiers

Collections

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

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

204

 

Contact                    Legal Notice                    Personal Data