H ? « ‹ ← → › »

Language peer sets for F-Logic:
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

F-Logic(ID:1481/flo004)

alternate simple view
Designed 1989
Published: 1989

Higher-order language for reasoning about objects, inheritance and scheme

Structures:
Related languages
F-Logic → SiLRI   Based on
References:
  • Kifer, M., and Lausden, G. (1989) Kifer, M., and Lausden, G. ""F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Schema", pp134-146 Abstract
          in [ACM] (1989) [ACM] Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, OR, May 1989
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder