Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

07/03/2018
by   Frédéric Blanqui, et al.
0

This volume contains a selection of papers presented at LFMTP 2018, the 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on July 7, 2018, in Oxford, UK. The workshop was affiliated with the 3rd international conference on Formal Structures for Computation and Deduction (FSCD) within the 7th Federated Logic Conference (FLoC).

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

01/08/2021

Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

This volume contains a selection of papers presented at LFMTP 2020, the ...
09/07/2009

n-Opposition theory to structure debates

2007 was the first international congress on the ?square of oppositions?...
03/22/2000

Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000

The papers gathered in this collection were presented at the 8th Interna...
07/05/2021

goldMEDAL : une nouvelle contribution à la modélisation générique des métadonnées des lacs de données

We summarize here a paper published in 2021 in the DOLAP international w...
12/28/2021

Proceedings Second Joint International Workshop on Linearity Trends in Linear Logic and Applications

This volume contains a selection of papers presented at Linearity TLLA...
09/09/2021

Proceedings 18th International Conference on Quantum Physics and Logic

This volume contains the proceedings of the 18th International Conferenc...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.