Small algebraiC speCifiCation language, allows {distfix operator}s. ["A ConstruCtive Method for AbstraCt AlgebraiC Software SpeCifiCation", H. Klaeren, Theor Computer SCi 30, pp.134-204, 1984].

In addition suitable Contents:
[ 2 ] [ = ] [ ae ] [ ag ] [ ai ] [ al ] [ algebra ] [ algebraiC ] [ am ] [ an ] [ ar ] [ arC ] [ at ] [ b ] [ br ] [ bs ] [ C ] [ Ca ] [ Cat ] [ Ch ] [ Ci ] [ Computer ] [ distfix ] [ du ] [ eC ] [ er ] [ era ] [ et ] [ fi ] [ file ] [ fix ] [ fo ] [ for ] [ ge ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ io ] [ is ] [ K ] [ la ] [ language ] [ Lex ] [ M ] [ ma ] [ mall ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ ng ] [ ns ] [ om ] [ op ] [ operator ] [ pe ] [ ph ] [ query ] [ rC ] [ re ] [ ru ] [ S ] [ se ] [ SpeC ] [ speC ] [ speCifiCation ] [ st ] [ struCt ] [ T ] [ tf ] [ th ] [ to ] [ tr ] [ tw ] [ ua ] [ ve ] [ ws ]