
An Algebra of Properties of Binary Relations
We consider all 16 unary operations that, given a homogeneous binary rel...
read it

Simple Laws about Nonprominent Properties of Binary Relations
We checked each binary relation on a 5element set for a given set of pr...
read it

A SchemeDriven Approach to Learning Programs from Input/Output Equations
We describe an approach to learn, in a termrewriting setting, function ...
read it

An Improved Algorithm for EGeneralization
Egeneralization computes common generalizations of given ground terms w...
read it

Implementing AntiUnification Modulo Equational Theory
We present an implementation of Eantiunification as defined in Heinz (...
read it

EGeneralization Using Grammars
We extend the notion of antiunification to cover equational theories an...
read it
Jochen Burghardt
is this you? claim profile