zbMath0800.68296MaRDI QIDQ4282547
Akihiro Yamamoto
Publication date: 14 April 1994
zbMATH Keywords
elementary formal system; logic programming language
Mathematics Subject Classification ID
68N17: Logic programming