Logic and Complexity
Tuesday, October 11, 2005
Lance's Recent Post on Fagin's Theorem
his favorite theorem of this month on his blog: it's Fagin's theorem, one of the most important results (and the first of its kind) in descriptive complexity theory. Nice!
Post a Comment
Post Comments (Atom)