Proceedings of the Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : held in Oxford on 2017-09-08 at the Conference on Formal Structures for Computation and Deduction

Proceedings of the Workshop on Logical Frameworks and Meta-Languages Theory and Practice : held in Oxford on 2017-09-08 at the Conference on Formal Structures for Computation and Deduction

Detalles Bibliográficos
Autor Corporativo: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (-)
Otros Autores: Rabe, Florian, editor (editor), Miculan, Marino, editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York : ACM 2017.
Colección:ACM international conference proceedings series.
Materias:
Logic programming > Congresses.
Logic, Symbolic and mathematical > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713986206719
Descripción
Descripción Física:1 online resource (27 pages)

Ejemplares similares