FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W87498758> ?p ?o ?g. }

• W87498758 endingPage "38" @default.
• W87498758 startingPage "1" @default.
• W87498758 abstract "This chapter discusses Thue systems and the Church–Rosser property. In the study of formula-manipulation systems—such as theorem provers, program optimizers, or algebraic simplifiers—replacement systems take the form of term rewriting systems and graph grammars. In formal language theory, semi-Thue systems are used as the basis for formal grammars, and the various syntactic structures of Chomsky depend on the notion of a semi-Thue system. Thue systems are presentations of monoids. The Thue congruence induced on a free monoid by a given Thue system gives rise to a quotient monoid, so the Thue system presents that monoid. Any presentation of a monoid is a Thue system. The definition of a regular or context-free Thue system requires that every rule should be length-decreasing. Reduction and replacement systems arise in the study of formula manipulation systems such as theorem provers, program optimizers, and algebraic simplifiers." @default.
• W87498758 created "2016-06-24" @default.
• W87498758 creator A5068416316 @default.
• W87498758 date "1983-01-01" @default.
• W87498758 modified "2023-10-16" @default.
• W87498758 title "THUE SYSTEMS AND THE CHURCH-ROSSER PROPERTY: REPLACEMENT SYSTEMS, SPECIFICATION OF FORMAL LANGUAGES, AND PRESENTATIONS OF MONOIDS††Preparation of this paper was supported in part by the National Science Foundation under grants MCS80-11979 and MCS81-16327." @default.
• W87498758 cites W1523480252 @default.
• W87498758 cites W1557178856 @default.
• W87498758 cites W1568478997 @default.
• W87498758 cites W1968386045 @default.
• W87498758 cites W1975218803 @default.
• W87498758 cites W1979101142 @default.
• W87498758 cites W1984250993 @default.
• W87498758 cites W1988565881 @default.
• W87498758 cites W1994922201 @default.
• W87498758 cites W1997017650 @default.
• W87498758 cites W2004459113 @default.
• W87498758 cites W2008921773 @default.
• W87498758 cites W2018146336 @default.
• W87498758 cites W2027580816 @default.
• W87498758 cites W2034188445 @default.
• W87498758 cites W2042926635 @default.
• W87498758 cites W2046280211 @default.
• W87498758 cites W2050885681 @default.
• W87498758 cites W2056239109 @default.
• W87498758 cites W2062170505 @default.
• W87498758 cites W2062281594 @default.
• W87498758 cites W2063886294 @default.
• W87498758 cites W2071219059 @default.
• W87498758 cites W2073904319 @default.
• W87498758 cites W2080507474 @default.
• W87498758 cites W2094939442 @default.
• W87498758 cites W2166060774 @default.
• W87498758 cites W2231586 @default.
• W87498758 cites W2323378191 @default.
• W87498758 cites W3150369495 @default.
• W87498758 doi "https://doi.org/10.1016/b978-0-12-198820-3.50007-3" @default.
• W87498758 hasPublicationYear "1983" @default.
• W87498758 type Work @default.
• W87498758 sameAs 87498758 @default.
• W87498758 citedByCount "12" @default.
• W87498758 crossrefType "book-chapter" @default.
• W87498758 hasAuthorship W87498758A5068416316 @default.
• W87498758 hasConcept C111472728 @default.
• W87498758 hasConcept C11413529 @default.
• W87498758 hasConcept C118615104 @default.
• W87498758 hasConcept C134306372 @default.
• W87498758 hasConcept C136119220 @default.
• W87498758 hasConcept C138885662 @default.
• W87498758 hasConcept C146072743 @default.
• W87498758 hasConcept C154690210 @default.
• W87498758 hasConcept C189950617 @default.
• W87498758 hasConcept C198838072 @default.
• W87498758 hasConcept C199360897 @default.
• W87498758 hasConcept C199422724 @default.
• W87498758 hasConcept C202444582 @default.
• W87498758 hasConcept C204321447 @default.
• W87498758 hasConcept C206901836 @default.
• W87498758 hasConcept C21696900 @default.
• W87498758 hasConcept C33923547 @default.
• W87498758 hasConcept C41008148 @default.
• W87498758 hasConcept C53893814 @default.
• W87498758 hasConcept C9376300 @default.
• W87498758 hasConceptScore W87498758C111472728 @default.
• W87498758 hasConceptScore W87498758C11413529 @default.
• W87498758 hasConceptScore W87498758C118615104 @default.
• W87498758 hasConceptScore W87498758C134306372 @default.
• W87498758 hasConceptScore W87498758C136119220 @default.
• W87498758 hasConceptScore W87498758C138885662 @default.
• W87498758 hasConceptScore W87498758C146072743 @default.
• W87498758 hasConceptScore W87498758C154690210 @default.
• W87498758 hasConceptScore W87498758C189950617 @default.
• W87498758 hasConceptScore W87498758C198838072 @default.
• W87498758 hasConceptScore W87498758C199360897 @default.
• W87498758 hasConceptScore W87498758C199422724 @default.
• W87498758 hasConceptScore W87498758C202444582 @default.
• W87498758 hasConceptScore W87498758C204321447 @default.
• W87498758 hasConceptScore W87498758C206901836 @default.
• W87498758 hasConceptScore W87498758C21696900 @default.
• W87498758 hasConceptScore W87498758C33923547 @default.
• W87498758 hasConceptScore W87498758C41008148 @default.
• W87498758 hasConceptScore W87498758C53893814 @default.
• W87498758 hasConceptScore W87498758C9376300 @default.
• W87498758 hasLocation W874987581 @default.
• W87498758 hasOpenAccess W87498758 @default.
• W87498758 hasPrimaryLocation W874987581 @default.
• W87498758 hasRelatedWork W2014022962 @default.
• W87498758 hasRelatedWork W2039673878 @default.
• W87498758 hasRelatedWork W2064904616 @default.
• W87498758 hasRelatedWork W2122061778 @default.
• W87498758 hasRelatedWork W2952405971 @default.
• W87498758 hasRelatedWork W4220959893 @default.
• W87498758 hasRelatedWork W4301744995 @default.
• W87498758 hasRelatedWork W87498758 @default.
• W87498758 hasRelatedWork W2147884289 @default.
• W87498758 hasRelatedWork W3022516416 @default.
• W87498758 isParatext "false" @default.
• W87498758 isRetracted "false" @default.

• next