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
research
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 ...
research
03/22/2023

Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications

This volume contains the post-proceedings of the Seventeenth Logical and...
research
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...
research
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...
research
09/07/2009

n-Opposition theory to structure debates

2007 was the first international congress on the ?square of oppositions?...
research
10/19/2019

Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

This volume contains a selection of papers presented at LFMTP 2019, the ...

Please sign up or login with your details

Forgot password? Click here to reset