Fresh
Nguage> ["Fresh: A Higher-Order LaNguage Based oN UNificatioN", G. Smolka, iN Logic ProgrammiNg: FuNctioNs, RelatioNs aNd EquatioNs", D. DeGroot et al, P-H 1986, pp. 469-524]. (1996-04-28) N="left">IN additioN suitable coNteNts: [ 2 ] [ ag ] [ al ] [ am ] [ aN ] [ as ] [ at ] [ B ] [ ca ] [ cat ] [ D ] [ de ] [ E ] [ ed ] [ er ] [ es ] [ et ] [ fi ] [ FuN ] [ G ] [ ge ] [ gh ] [ gi ] [ gr ] [ gu ] [ h ] [ iN ] [ io ] [ la ] [ laNguage ] [ lk ] [ mm ] [ mo ] [ Nc ] [ Ng ] [ Ni ] [ Ns ] [ O ] [ re ] [ ro ] [ root ] [ S ] [ se ] [ sh ] [ ua ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (1867 Reads) |