Logic and Computer Science by Anil Nerode, Steven Homer

Logic and Computer Science

Anil Nerode, Steven Homer

170 pages missing pub info (editions)

nonfiction mathematics medium-paced
Powered by AI (Beta)
Loading...

Description

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism C...

Read more

Community Reviews

Loading...

Content Warnings

Loading...