Old Web
English
Sign In
Acemap
>
Paper
>
Type derivation for first-order relational expressions
Type derivation for first-order relational expressions
1981
Jürgen Koch
Joachim W. Schmidt
R. Wunderlich
Keywords:
Mathematical analysis
Derivation
Expression (mathematics)
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
5
Citations
NaN
KQI
[]