A DESIGN ALGORITHM FOR SEQUENTIAL MACHINES AND DEFINABILITY IN MONADIC SECOND-ORDER ARITHMETIC
Abstract
Abstract not available
Degree
Ph.D.
Subject Area
Mathematics
Off-Campus Purdue Users:
To access this dissertation, please log in to our
proxy server.