Dictionary.net

Definitions of F+L

  1. Functions plus Logic. Equational clauses withinfunction definitions to solve for logic variable bindings.[" Functions plus Logic in Theory and Practice", R.B.Kieburtz, Feb 1987, unpublished].
X