Sciweavers

TCS
2002
13 years 10 months ago
A coalgebraic equational approach to specifying observational structures
A coalgebraic, equational approach to the speci
Corina Cîrstea
AAAI
1990
14 years 1 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