17 citations · 46 across the 16 of their papers we have counts for
1 paper · 2 filters
Temur Kutsia, Daniel Ventura, David Monniaux +1
This volume contains * The post-proceedings of the Eighteenth Logical and Semantic Frameworks with Applications (LSFA 2023). The meeting was held on July 1-2, 2023, organised by th…