NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Decidability and Complexity of Logical Theories

Investigation of computational complexity boundaries and decision procedures for various logical fragments applied to verification problems.