scientific article; zbMATH DE number 522839

zbMATH Open0794.68089MaRDI QIDQ4284232FDOQ4284232

Arto Salomaa

Publication date: 24 March 1994

Title of this publication is not available (Why is that?)

Recommendations

• Decision problems for patterns
• Multi-pattern languages
• scientific article; zbMATH DE number 2150289
• Patterns and languages: An overview
• scientific article; zbMATH DE number 996382

zbMATH Keywords

learningdecidabilityinductive inferenceterm rewritingpattern languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Combinatorics on words (68R15) Decidability of theories and sets of sentences (03B25)

Cited In (12)

• From Hertzsprung's problem to pattern-rewriting systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bad News on Decision Problems for Patterns
• D0L-pattern languages
• A Language of Patterns for Subterm Selection
• Beginner's luck: a language for property-based generators
• DPAL: Deductive language for embroidery pattern assembling
• GRAMMARS BASED ON PATTERNS
• The Thue problem and logical specifications of derivation in formal systems
• Decision problems for patterns
• Undecidability of ground reducibility for word rewriting systems with variables

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4284232)