TY  - RPRT
T1  - Case studies of non-freely generated data types 
T3  - Kaiserslautern ; Saarbrücken : DFKI, 1996
A1  - Sengler,Claus
Y1  - 2011/07/01
N2  - In this report we shall present case studies of different data type specifications for natural numbers, for integers, for finite lists, for finite lists with an additional error element, for finite sets, for binary words, for commutative trees, and for arrays. Furthermore, this report contains a collection of constructive function and predicate specifications, whose recursion orderings are shown to be well-founded. 
KW  - Künstliche Intelligenz
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/3769
ER  -