Sort by
Refine Your Search
-
been proposed: traditional computer‑algebra methods [3], reduction of the problem modulo a prime p [6, 2], and symbolic‑numeric methods [4, 1]. This postdoc proposal concerns the second modular approach
Searches related to process algebra
Enter an email to receive alerts for process-algebra positions