activity
20142021
most citedImporting SMT and Connection proofs as expansion trees

13 citations · 21 across the 10 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.LO2018

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

Frédéric Blanqui, Giselle Reis

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 J…