Sciweavers

TCS
2002
13 years 11 months ago
A coalgebraic equational approach to specifying observational structures
A coalgebraic, equational approach to the speci
Corina Cîrstea
AAAI
1990
14 years 19 days ago
Inductive Synthesis of Equational Programs
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
Nachum Dershowitz, Eli Pinchover