Topics in the Theory of Computation

这个研究项目跨越了几个不同但相关的领域， 理论计算机科学 正在调查的主题是 复杂性理论、程序逻辑和程序语义学。 要研究的复杂性理论主题包括以下算法： 弦图和多项式分解。 有限基定理， 命题μ演算和幂域的对偶， 作为研究计划的一部分， 程序的逻辑和语义。

This research project spans several distinct but related areas of theoretical computer science. Under investigation are topics in complexity theory, logics of programs and program semantics. Complexity theory topics to be investigated include algorithms for chordal graphs and polynomial decomposition. Finite basis theorems, the propositional mu-calculus and the duality of powerdomains and predicates will be investigated as part of the research program in logics and semantics of programs.