zbMath1023.68511MaRDI QIDQ4431386
Richard Zach, Matthias Baaz
Publication date: 21 October 2003
Mathematics Subject Classification ID
68N17: Logic programming
03B50: Many-valued logic