Publication:4501537
From MaRDI portal
zbMath0953.03052MaRDI QIDQ4501537
Publication date: 29 January 2001
03B45: Modal logic (including the logic of norms)
03D15: Complexity of computation (including implicit computational complexity)
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
Related Items