Publication:4873203

zbMath0842.68037MaRDI QIDQ4873203

Daniel E. Cooke, Richard G. Duran, Ann Q. Gates, Vladik Ya. Kreinovich

Publication date: 14 July 1996

zbMATH Keywords

concurrent algorithms; safe manufacturing

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

03B20: Subsystems of classical logic (including intuitionistic logic)