scientific article; zbMATH DE number 6790165

DOI10.23638/LMCS-13(3:28)2017MaRDI QIDQ5367067zbMATH OpenFDO

Authors Dmitriy Traytel

Publication date 12 October 2017

Full work available at URL https://arxiv.org/abs/1611.09633

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Formal Languages, Formally and Coinductively
• The theory of formal languages
• scientific article; zbMATH DE number 3872706
• scientific article; zbMATH DE number 6309316
• Formal languages and compilation
• Formal languages and compilation
• Many aspects of formal languages
• scientific article; zbMATH DE number 2150273
• scientific article; zbMATH DE number 3438412

Cited in

(11)

• Formal languages defined by uniform substitutions
• scientific article; zbMATH DE number 5347282 (Why is no real title available?)
• scientific article; zbMATH DE number 5545149 (Why is no real title available?)
• scientific article; zbMATH DE number 4051587 (Why is no real title available?)
• Langford strings, formal languages and contextual ambiguity
• scientific article; zbMATH DE number 4124977 (Why is no real title available?)
• Analogy and Formal Languages
• scientific article; zbMATH DE number 6309316 (Why is no real title available?)
• Formal Languages, Formally and Coinductively
• Well-behaved (co)algebraic semantics of regular expressions in Dafny
• Many aspects of formal languages

Describes a project that uses

Uses Software

• Isabelle

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 Q5367067)