-
performance. Funded by the Swedish Research Council, this research is hosted at the Division of Chemical Physics. About us The research at the division of Chemical Physics at Chalmers University of Technology
-
behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves
Searches related to approximation theory
Enter an email to receive alerts for approximation-theory positions