@inproceedings{DBLP:conf/fct/Ehrich81,
author = {Hans-Dieter Ehrich},
title = {Specifying Algebraic Data Types by Domain Equations},
booktitle = {FCT},
year = {1981},
pages = {120-129},
ee = {http://dx.doi.org/10.1007/3-540-10854-8_12},
crossref = {DBLP:conf/fct/1981},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fct/1981,
editor = {Ferenc G{\'e}cseg},
title = {Fundamentals of Computation Theory, FCT'81, Proceedings
of the 1981 International FCT-Conference, Szeged, Hungary,
August 24-28, 1981},
booktitle = {FCT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {117},
year = {1981},
isbn = {3-540-10854-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2005-12-20 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
