Introduction to Model Theory
Edit Page
Report
Scan day: 09 February 2014 UTC
21
Virus safety - good
Description: Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.
School of Computer Science and IT Descriptive complexity studies the relation between formal languages and computational resources (space and time) required to solve problems formulated in those languages. It turns out that many complexity classes, such as P and NP, have an independent logical characterisation (first order logic with inductive definitions and existential second order logic, respectively). Techniques and results of descriptive complexity theory are used in database theory and computer aided verification.
Size: 525 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Descriptive Complexity |
| Keywords: | |
| Description: | |
| IP-address: | 128.243.21.108 |