zbMath0941.03536MaRDI QIDQ4364372
Koji Nakagawa, Taro Suzuki, Tetsuo Ida
Publication date: 18 July 2000
Mathematics Subject Classification ID
03B70: Logic in computer science
68N17: Logic programming
Related Items