H ? « ‹ ← → › »

Language peer sets for F+L:
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

F+L(ID:1321/fl:002)

alternate simple view
Designed 1987
Published: 1987

Equational clauses within function definitions to solve for logical variable bindings. "Functions plus Logic in Theory and Practice", R.B. Kieburtz, Feb 1987, unpublished.
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder