A Language of Patterns for Subterm Selection

DOI10.1007/978-3-642-32347-8_25MaRDI QIDQ2914755zbMATH OpenOpenAlexFDO

Authors Georges Gonthier, Enrico Tassi

Publication date 20 September 2012

Published in Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32347-8_25

Mathematics Subject Classification ID

Recommendations

• Learning Subclasses of Pure Pattern Languages
• scientific article; zbMATH DE number 6683507
• scientific article; zbMATH DE number 996382
• Automatic learning of subclasses of pattern languages
• Automatic learning of subclasses of pattern languages
• On contextual grammars with subregular selection languages
• scientific article; zbMATH DE number 522839
• scientific article; zbMATH DE number 2079037

Cited in

(7)

• Automating formalization by statistical and semantic parsing of mathematics
• scientific article; zbMATH DE number 6683507 (Why is no real title available?)
• Learning Subclasses of Pure Pattern Languages
• scientific article; zbMATH DE number 1453031 (Why is no real title available?)
• A generic usage analysis with subeffect qualifiers
• Automatic learning of subclasses of pattern languages
• Use and abuse of instance parameters in the Lean mathematical library.

Describes a project that uses

Uses Software

• Coq
• Isar
• Matita
• Coq/SSReflect

This page was built for publication: A Language of Patterns for Subterm Selection

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