Cited By
View all- Deransart P(2005)Proofs of declarative properties of logic programsTAPSOFT '8910.1007/3-540-50939-9_134(207-226)Online publication date: 31-May-2005
- Katayama T(2005)Treatment of big values in an applicative language HFPRIMS Symposia on Software Science and Engineering10.1007/3-540-11980-9_14(36-48)Online publication date: 1-Jun-2005
- (2002)Turski, Wladyslaw M.Encyclopedia of Software Engineering10.1002/0471028959.sof565Online publication date: 15-Jan-2002
- Show More Cited By