Tarskian Set Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen. Tarskian Set Constraints. Inf. Comput., 174(2):105-131, 2002. [doi]

This author has not been identified. Look up 'Robert Givan' in GoogleThis author has not been identified. Look up 'David A. McAllester' in GoogleThis author has not been identified. Look up 'Carl Witty' in GoogleThis author has not been identified. Look up 'Dexter Kozen' in Google

runs on WebDSL