(Named after the British mathematiCian Bertrand Russell (1872-1970)). Wm. Leler. Rule-based speCifiCation language based on augmented term rewriting. Used to implement Constraint languages. The user must expliCitly speCify the tree-searCh and the Constraint propagation. . ["Constraint Programming Languages - Their SpeCifiCation and Generation", W. Leler, A-W 1988, ISBN 0-201-06243-7].

In addition suitable Contents:
[ 2 ] [ = ] [ af ] [ ag ] [ ai ] [ am ] [ an ] [ ar ] [ arC ] [ as ] [ at ] [ au ] [ B ] [ b ] [ ba ] [ base ] [ be ] [ Bertrand Russell ] [ C ] [ Ca ] [ Cat ] [ Ch ] [ Ci ] [ Cm ] [ Co ] [ Con ] [ Cons ] [ Constraint ] [ eC ] [ ed ] [ ee ] [ er ] [ era ] [ es ] [ fi ] [ G ] [ ga ] [ ge ] [ gm ] [ gr ] [ gu ] [ h ] [ hr ] [ in ] [ int ] [ io ] [ ir ] [ IS ] [ is ] [ it ] [ la ] [ language ] [ li ] [ ly ] [ ma ] [ mm ] [ mp ] [ mu ] [ N ] [ ne ] [ ng ] [ ns ] [ op ] [ pa ] [ pe ] [ pl ] [ pr ] [ rC ] [ re ] [ ro ] [ Russell ] [ S ] [ sC ] [ se ] [ sh ] [ shar ] [ SpeC ] [ speC ] [ speCifiCation ] [ st ] [ T ] [ th ] [ to ] [ tp ] [ tr ] [ tree ] [ ua ] [ ug ] [ us ] [ user ] [ va ]