Detecting conjunctions of global predicates

DOI10.1016/S0020-0190(97)00139-7zbMath1336.68077MaRDI QIDQ287191

Vijay K. Garg, J. Roger Mitchell

Publication date: 26 May 2016

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

distributed systemspredicate detection

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70)

Cites Work

• Unnamed Item

This page was built for publication: Detecting conjunctions of global predicates