Matches in SemOpenAlex for { <https://semopenalex.org/work/W55294761> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W55294761 endingPage "31" @default.
- W55294761 startingPage "1" @default.
- W55294761 abstract "Publisher Summary This chapter explains the design and use of two proving tools such as inductive theorem prover and a Church-Rosser checker. It uses these tools to prove theorems about equational specifications with initial algebra semantics and to check whether such specifications satisfy the Church-Rosser property. These tools have been developed as part of the Cafe project, and can also be used on their own to prove properties of equational specifications in Maude. An important feature of these tools is that they are written entirely in Maude and are in fact executable specifications in rewriting logic of the formal inference systems that they implement. This chapter also gives a brief review of membership equational logic, rewriting logic, and Maude, including reflective features and the related topic of strategies. After summarizing the reflective design of the tools, the chapter explains each of the tools, including its inference system and its corresponding Maude implementation, with examples and concluding remarks." @default.
- W55294761 created "2016-06-24" @default.
- W55294761 creator A5007839082 @default.
- W55294761 creator A5016544041 @default.
- W55294761 creator A5019436123 @default.
- W55294761 creator A5067165290 @default.
- W55294761 date "2000-01-01" @default.
- W55294761 modified "2023-09-30" @default.
- W55294761 title "Building Equational Proving Tools by Reflection in Rewriting Logic*" @default.
- W55294761 cites W1976195354 @default.
- W55294761 cites W1991598919 @default.
- W55294761 cites W1992383986 @default.
- W55294761 cites W1996804992 @default.
- W55294761 cites W2029176884 @default.
- W55294761 cites W2068264849 @default.
- W55294761 cites W2075479781 @default.
- W55294761 cites W2079655685 @default.
- W55294761 cites W4238794324 @default.
- W55294761 doi "https://doi.org/10.1016/b978-044450556-9/50061-7" @default.
- W55294761 hasPublicationYear "2000" @default.
- W55294761 type Work @default.
- W55294761 sameAs 55294761 @default.
- W55294761 citedByCount "37" @default.
- W55294761 countsByYear W552947612012 @default.
- W55294761 countsByYear W552947612022 @default.
- W55294761 crossrefType "book-chapter" @default.
- W55294761 hasAuthorship W55294761A5007839082 @default.
- W55294761 hasAuthorship W55294761A5016544041 @default.
- W55294761 hasAuthorship W55294761A5019436123 @default.
- W55294761 hasAuthorship W55294761A5067165290 @default.
- W55294761 hasConcept C154564781 @default.
- W55294761 hasConcept C154690210 @default.
- W55294761 hasConcept C199343813 @default.
- W55294761 hasConcept C199360897 @default.
- W55294761 hasConcept C2777686260 @default.
- W55294761 hasConcept C41008148 @default.
- W55294761 hasConcept C65682993 @default.
- W55294761 hasConcept C71924100 @default.
- W55294761 hasConceptScore W55294761C154564781 @default.
- W55294761 hasConceptScore W55294761C154690210 @default.
- W55294761 hasConceptScore W55294761C199343813 @default.
- W55294761 hasConceptScore W55294761C199360897 @default.
- W55294761 hasConceptScore W55294761C2777686260 @default.
- W55294761 hasConceptScore W55294761C41008148 @default.
- W55294761 hasConceptScore W55294761C65682993 @default.
- W55294761 hasConceptScore W55294761C71924100 @default.
- W55294761 hasLocation W552947611 @default.
- W55294761 hasOpenAccess W55294761 @default.
- W55294761 hasPrimaryLocation W552947611 @default.
- W55294761 hasRelatedWork W1557825129 @default.
- W55294761 hasRelatedWork W1991226929 @default.
- W55294761 hasRelatedWork W2059756990 @default.
- W55294761 hasRelatedWork W2099080307 @default.
- W55294761 hasRelatedWork W2108174561 @default.
- W55294761 hasRelatedWork W2134287022 @default.
- W55294761 hasRelatedWork W2142211321 @default.
- W55294761 hasRelatedWork W2165580945 @default.
- W55294761 hasRelatedWork W4251805752 @default.
- W55294761 hasRelatedWork W2585339290 @default.
- W55294761 isParatext "false" @default.
- W55294761 isRetracted "false" @default.
- W55294761 magId "55294761" @default.
- W55294761 workType "book-chapter" @default.