research
∙
05/05/2022
Reconfigurable Heterogeneous Parallel Island Models
Heterogeneous Parallel Island Models (HePIMs) run different bio-inspired...
share
research
∙
04/07/2022
Proceedings 16th Logical and Semantic Frameworks with Applications
This volume contains the post-proceedings of the Sixteenth Logical and S...
research
∙
11/25/2020
Grammar Compression By Induced Suffix Sorting
A grammar compression algorithm, called GCIS, is introduced in this work...
research
∙
10/30/2020
Teaching Interactive Proofs to Mathematicians
This work discusses an approach to teach to mathematicians the importanc...
research
∙
10/30/2019
Formalizing the Dependency Pair Criterion for Innermost Termination
Rewriting is a framework for reasoning about functional programming. The...
research
∙
02/22/2019
On Nominal Syntax and Permutation Fixed Points
We propose a new axiomatisation of the alpha-equivalence relation for no...
research
∙
11/08/2017
A Grammar Compression Algorithm based on Induced Suffix Sorting
We introduce GCIS, a grammar compression algorithm based on the induced ...
research
∙
09/15/2017
Nominal C-Unification
Nominal unification is an extension of first-order unification that take...
research
∙
03/29/2013