About: Büchi's monadic second order successor arithmetic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Büchi's monadic second order successor arithmetic Goto Sponge NotDistinct Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	frbr:Work rdac:C10001
Author	Siefkes, Dirk
dc:subject	Mathematics Mathématiques Calcul des prédicats Logic, Symbolic and mathematical Logique mathématique Mathematical Logic and Foundations Décidabilité (logique mathématique) Sequential machine theory Predicate calculus Théorie des machines séquentielles
preferred label	Büchi's monadic second order successor arithmetic
Language	http://lexvo.org/id/iso639-3/eng
Subject	http://www.idref.fr/027440850/id http://www.idref.fr/027221776/id http://www.idref.fr/02723875X/id http://www.idref.fr/027662799/id http://www.idref.fr/027868664/id
dc:title	Büchi's monadic second order successor arithmetic
Publishing director	Müller, Gert Heinz (1923-2006)
dc:type	Text
http://iflastandar...bd/elements/P1001	http://iflastandards.info/ns/isbd/terms/contentform/T1009
rdaw:P10219	1970
has content type	http://rdaregistry.info/termList/RDAContentType/1020
is primary topic of	http://www.idref.fr/210093439
is rdam:P30135 of	http://www.sudoc.fr/155221124/id http://www.sudoc.fr/006783023/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software