Name: Confluent and Other Types of Thue Systems
Creator: Book, Ronald V.
Keywords: Church-Rosser system, confluent systems, Formal languages and automata, 0102 computer and information sciences, Thue and Post systems, etc., preperfect system, deterministic context-free language, 01 natural sciences, word problems, Thue congruence

Confluent and other types of Thue systems

descriptionPublicationkeyboard_double_arrow_right Article 01 Jan 1982 English Publisher:Association for Computing Machinery (ACM)Journal:Journal of the ACM, volume 29, pages 171-182 (issn: 0004-5411, eissn: 1557-735X,

Authors: Book, Ronald V.;

doi: 10.1145/322290.322301

Confluent and Other Types of Thue Systems

- Summary
- Subjects
- Metrics

Related Organizations

University of California, Santa Barbara
United States

Keywords

Church-Rosser system, confluent systems, Formal languages and automata, Thue and Post systems, etc., preperfect system, deterministic context-free language, word problems, Thue congruence, Decidability of theories and sets of sentences, Word problems, etc. in computability and recursion theory, Abstract data types; algebraic specification

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	140
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 1%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 1%