Sort by
Refine Your Search
-
of combinatorial decompositions (such as tree decompositions) and algebraic decompositions (such as matrix-rank–based methods), combining elegant fundamental mathematics with computer science. There is also freedom
Searches related to process algebra
Enter an email to receive alerts for process-algebra positions