Regular path expressions in feature logic
type: Item
instance of: scholarly article
title: Regular path expressions in feature logic
zbMATH Open document ID: 1503.68088
DOI: 10.1007/978-3-662-21551-7_10
author: Rolf Backofen
published in: Rewriting Techniques and Applications
publication date: 2022-12-09T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 7631203
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-662-21551-7 10
OpenAlex ID: W299871652
cites work: On the expressivity of feature logics with negation, functional uncertainty, and sort equations
cites work: A complete and recursive feature theory
cites work: Termination of rewriting
cites work: Q3992707
cites work: Feature-constraint logics for unification grammars
cites work: Records for logic programming
Recommended article: Regular path expressions in feature logic
Recommended article: Feature-constraint logics for unification grammars
Recommended article: On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Recommended article: Q4013802
Recommended article: A complete and recursive feature theory
description: scientific article; zbMATH DE number 7631203