research
∙
02/10/2021
An Algebra of Properties of Binary Relations
We consider all 16 unary operations that, given a homogeneous binary rel...
share
research
∙
06/13/2018
Simple Laws about Nonprominent Properties of Binary Relations
We checked each binary relation on a 5-element set for a given set of pr...
research
∙
02/04/2018
A Scheme-Driven Approach to Learning Programs from Input/Output Equations
We describe an approach to learn, in a term-rewriting setting, function ...
research
∙
09/03/2017
An Improved Algorithm for E-Generalization
E-generalization computes common generalizations of given ground terms w...
research
∙
04/01/2014
Implementing Anti-Unification Modulo Equational Theory
We present an implementation of E-anti-unification as defined in Heinz (...
research
∙
03/28/2014