Paper Info
Title
Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega
Year
DOI
Venue
1993
10.1007/3-540-56939-1_110
ICALP
Keywords
Field
DocType
rewrite systems
Discrete mathematics,Programming language,Computer science,Confluence,Modularity
Conference
ISBN
Citations 
PageRank 
3-540-56939-1
4
0.47
References 
Authors
1
2
Name
Order
Citations
PageRank
Franco Barbanera135735.14
Maribel Fernández214413.09