Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

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

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

Open All Close All

type

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

about

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/2599245172#Topic/sequential_machine_theory

creator

http://schema.org/creator

http://worldcat.org/entity/person/id/2711981801

name

http://schema.org/name

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

workExample

http://schema.org/workExample

http://www.worldcat.org/oclc/918892966