About: Word problems, other decision problems, connections with logic and automata

Documentation

scienceplus.abes.fr version Bêta

scienceplus.abes.fr | explorer

À propos de : Word problems, other decision problems, connections with logic and automata Goto Sponge NotDistinct Permalink

Attributs	Valeurs
type	Concept
rdfs:seeAlso	Decidability of theories and sets of sentences Automata and formal grammars in connection with logical questions Word problems, etc. Free lattices, projective lattices, word problems Word problems Free semigroups, generators and relations, word problems Algebraic theory of languages and automata
skos:inScheme	MSC 2010
broader concept	Special aspects of infinite or finite groups
skos:prefLabel	Word problems, other decision problems, connections with logic and automata 字问题, 其它判定问题, 与逻辑和自动机的关系
skos:altLabel	Word problems, other decision problems, connections with logic and automata [See also 03B25, 03D05, 03D40, 06B25, 08A50, 20M05, 68Q70] 字问题, 其它判定问题, 与逻辑和自动机的关系[参见03B25, 03D05, 03D40, 06B25, 08A50, 68Q70]
http://msc2010.org...0/msc2010#seeAlso	Decidability of theories and sets of sentences Automata and formal grammars in connection with logical questions Word problems, etc. Free lattices, projective lattices, word problems Word problems Free semigroups, generators and relations, word problems Algebraic theory of languages and automata
skos:closeMatch	from MSC1991 value of: Word problems, other decision problems, connections with logic and automata, [See also 03B25, 03D05, 03D40, 06B25, 08A50, 68Qxx] from MSC2000 value of: Word problems, other decision problems, connections with logic and automata [See also 03B25, 03D05, 03D40, 06B25, 08A50, 68Q70]
skos:notation	20F10
skos:note	See also 03B25, 03D05, 03D40, 06B25, 08A50, 20M05, 68Q70.
skos:relatedMatch	http://msc2010.org/resources/MSC/2010/fullDD21-511.3
skos:semanticRelation	Decidability of theories and sets of sentences Automata and formal grammars in connection with logical questions Word problems, etc. Free lattices, projective lattices, word problems Word problems Free semigroups, generators and relations, word problems Algebraic theory of languages and automata
is rdfs:seeAlso of	Decidability of theories and sets of sentences Word problems, etc. Free lattices, projective lattices, word problems Word problems Metamathematical considerations Free semigroups, generators and relations, word problems
is Subject of	Monoid presentations of groups by finite special string-rewriting systems Fixed points of endomorphisms of certain free products k-counting automata Some Algebraic Properties of Machine Poset of Infinite Words Free group languages: Rational versus recognizable
is narrower concept of	Special aspects of infinite or finite groups
is http://msc2010.org...msc2010#forTarget of	http://msc2010.org/resources/MSC/2010/20A10-to-20F10-seeFor
is http://msc2010.org...0/msc2010#seeAlso of	Decidability of theories and sets of sentences Word problems, etc. Free lattices, projective lattices, word problems Word problems Free semigroups, generators and relations, word problems
is http://msc2010.org...#seeConditionally of	Metamathematical considerations
is skos:semanticRelation of	Decidability of theories and sets of sentences Word problems, etc. Free lattices, projective lattices, word problems Word problems Metamathematical considerations Free semigroups, generators and relations, word problems

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata