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

Bibliographic Details
Corporate Author: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (-)
Other Authors: Rabe, Florian, editor (editor), Miculan, Marino, editor
Format: eBook
Language:Inglés
Published: New York : ACM 2017.
Series:ACM international conference proceedings series.
Subjects:
Logic programming > Congresses.
Logic, Symbolic and mathematical > Congresses.
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713986206719
Description
Physical Description:1 online resource (27 pages)

Similar Items