Formal description of programming concepts : proceedings - IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts( 3rd : 1986 : Denmark ); IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts 3rd , Denmark 1986 (Amsterdam North Holland, 1987)
Keywords: Computer science; Logic programming