zbMath1001.68021MaRDI QIDQ2758304
Manolis Gergatsoulis
Publication date: 6 December 2001
zbMATH Keywords
Cactus
Mathematics Subject Classification ID
68N17: Logic programming
03B44: Temporal logic
Related Items