Cited By
View all- Walicki M(2005)Bireachability and final multialgebrasProceedings of the First international conference on Algebra and Coalgebra in Computer Science10.1007/11548133_26(408-423)Online publication date: 3-Sep-2005
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting
Abstract
No abstract available.
Index Terms
- Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting
Index terms have been assigned to the content through auto-classification.
Recommendations
Confluent term rewriting systems
RTA'05: Proceedings of the 16th international conference on Term Rewriting and ApplicationsThe confluence property is one of the most important properties of term rewriting systems, and various sufficient criteria for proving this property have been widely investigated. A necessary and sufficient criterion for confluence of terminating term ...
Conditions for confluence of innermost terminating term rewriting systems
This paper presents a counterexample for the open conjecture whether innermost joinability of all critical pairs ensures confluence of innermost terminating term rewriting systems. We then show that innermost joinability of all normalized instances of ...
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems
Yi and Sakai [Y. Wang and M. Sakai. Decidability of termination for semi-constructor trss, left-linear shallow trss and related systems. In the 17th International Conference on Rewriting Techniques and Applications, volume 4098 of Lecture Notes in ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 14 November 1988
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 02 Oct 2024
Other Metrics
Citations
Cited By
View all- Walicki M(2005)Bireachability and final multialgebrasProceedings of the First international conference on Algebra and Coalgebra in Computer Science10.1007/11548133_26(408-423)Online publication date: 3-Sep-2005
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in