3 citations · 8 across the 12 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018★ 2 cited
Simple Laws about Nonprominent Properties of Binary Relations
Jochen Burghardt
We checked each binary relation on a 5-element set for a given set of properties, including usual ones like asymmetry and less known ones like Euclideanness. Using a poor man's Qui…
cs.LO2018
A Scheme-Driven Approach to Learning Programs from Input/Output Equations
Jochen Burghardt
We describe an approach to learn, in a term-rewriting setting, function definitions from input/output equations. By confining ourselves to structurally recursive definitions we obt…