The page you are requesting does not exist. You can start your search here!
Sort by
Refine Your Search
-
department is available at: https://www.umu.se/en/department-of-computing-science/ Project description Graph transformation is a well-established theory that studies computational methods to transform graphs
-
previous experience with e-graphs, or is familiar with theory and algorithms used by, for example, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers
Searches related to graph theory
Enter an email to receive alerts for graph-theory positions