zbMath0965.68010MaRDI QIDQ4507831
Kimmo Varpaaniemi
Publication date: 10 October 2000
zbMATH Keywords
stubborn set method
Mathematics Subject Classification ID
68N17: Logic programming
68M14: Distributed systems
Related Items