Inproceedings,

The System FLR (Fast Laboratory for Recomposition)

, and .
Programming Language Implementation and Logic Programming (PLILP '91), volume 528 of Lect. Notes in Comp. Sci., page 427--428. (1991)system demonstration.

Meta data

Tags

Users

  • @dparigot

Comments and Reviews