An interpreter for the Boolean derivative

YILDIZ B., Subasi M.

APPLIED MATHEMATICS AND COMPUTATION, cilt.129, sa.1, ss.43-54, 2002 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 129 Sayı: 1
  • Basım Tarihi: 2002
  • Doi Numarası: 10.1016/s0096-3003(01)00023-6
  • Dergi Adı: APPLIED MATHEMATICS AND COMPUTATION
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.43-54
  • Atatürk Üniversitesi Adresli: Evet

Özet

We describe some recursive functions of an algorithm to obtain the Boolean derivative with recursion using list processing functions into Prolog. (C) 2002 Elsevier Science Inc. All rights reserved.