Order-Sorted Unification with Regular Expression Sorts.

DOI10.4230/LIPICS.RTA.2010.193MaRDI QIDQ5389145zbMATH OpenOpenAlexFDO

Authors Temur Kutsia, Mircea Marin

Publication date 25 April 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_031c.html

zbMATH Keywords

regular expressionsortsunification

Mathematics Subject Classification ID

Logic in computer science (03B70) Formal languages and automata (68Q45)

Recommendations

• Regular expression order-sorted unification and matching
• Order-sorted unification
• Inferring deterministic regular expression with unorder
• scientific article; zbMATH DE number 176147
• Order-preserving pattern matching indeterminate strings
• Order-preserving pattern matching indeterminate strings
• Regular Languages meet Prefix Sorting
• Order-sorted feature theory unification

Cited in

(4)

• Anti-unification for unranked terms and hedges
• scientific article; zbMATH DE number 1552530 (Why is no real title available?)
• Order-sorted unification
• Regular expression order-sorted unification and matching

This page was built for publication: Order-Sorted Unification with Regular Expression Sorts.

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