WorldCat Linked Data Explorer

http://worldcat.org/entity/work/id/500006938

A design algorithm for sequential machines and definability in monadic second-order arithmetic

Open All Close All

http://schema.org/name

  • "A design algorithm for sequential machines and definability in monadic second-order arithmetic"