| http://www.w3.org/ns/prov#value | - Our research includes classical areas of mathematical logic and the foundations of mathematics, and fundamental problems in algorithmics and computational complexity, but we also venture into new fields such as quantum computing and coalgebra.
|
