Matches in SemOpenAlex for { <https://semopenalex.org/work/W2386272912> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2386272912 abstract "The dynamic term rewriting calculus is a formal computation model for meta-computation of term rewriting systems, which has characteristic features as the hierarchical declaration and dynamic rewriting, and is applied to the automated formal proving for the inductive theorems and weak termination of term rewriting systems. The paper describes an automated formal proving platform based on the dynamic term rewriting calculus and its application to the automated proving for the weak termination of term rewriting systems." @default.
- W2386272912 created "2016-06-24" @default.
- W2386272912 creator A5029588332 @default.
- W2386272912 date "2004-01-01" @default.
- W2386272912 modified "2023-09-23" @default.
- W2386272912 title "An automated formal proving platform based on dynamicterm rewriting calculus and its application" @default.
- W2386272912 hasPublicationYear "2004" @default.
- W2386272912 type Work @default.
- W2386272912 sameAs 2386272912 @default.
- W2386272912 citedByCount "0" @default.
- W2386272912 crossrefType "journal-article" @default.
- W2386272912 hasAuthorship W2386272912A5029588332 @default.
- W2386272912 hasConcept C121332964 @default.
- W2386272912 hasConcept C154690210 @default.
- W2386272912 hasConcept C199343813 @default.
- W2386272912 hasConcept C199360897 @default.
- W2386272912 hasConcept C2777686260 @default.
- W2386272912 hasConcept C41008148 @default.
- W2386272912 hasConcept C45374587 @default.
- W2386272912 hasConcept C61797465 @default.
- W2386272912 hasConcept C62520636 @default.
- W2386272912 hasConcept C71924100 @default.
- W2386272912 hasConcept C77906462 @default.
- W2386272912 hasConcept C80444323 @default.
- W2386272912 hasConceptScore W2386272912C121332964 @default.
- W2386272912 hasConceptScore W2386272912C154690210 @default.
- W2386272912 hasConceptScore W2386272912C199343813 @default.
- W2386272912 hasConceptScore W2386272912C199360897 @default.
- W2386272912 hasConceptScore W2386272912C2777686260 @default.
- W2386272912 hasConceptScore W2386272912C41008148 @default.
- W2386272912 hasConceptScore W2386272912C45374587 @default.
- W2386272912 hasConceptScore W2386272912C61797465 @default.
- W2386272912 hasConceptScore W2386272912C62520636 @default.
- W2386272912 hasConceptScore W2386272912C71924100 @default.
- W2386272912 hasConceptScore W2386272912C77906462 @default.
- W2386272912 hasConceptScore W2386272912C80444323 @default.
- W2386272912 hasOpenAccess W2386272912 @default.
- W2386272912 hasRelatedWork W1032572692 @default.
- W2386272912 hasRelatedWork W1533534652 @default.
- W2386272912 hasRelatedWork W1537623425 @default.
- W2386272912 hasRelatedWork W1540190633 @default.
- W2386272912 hasRelatedWork W1576552759 @default.
- W2386272912 hasRelatedWork W1577831097 @default.
- W2386272912 hasRelatedWork W1872879644 @default.
- W2386272912 hasRelatedWork W2124320382 @default.
- W2386272912 hasRelatedWork W2141699417 @default.
- W2386272912 hasRelatedWork W2154580607 @default.
- W2386272912 hasRelatedWork W2204418553 @default.
- W2386272912 hasRelatedWork W2246357599 @default.
- W2386272912 hasRelatedWork W2287769028 @default.
- W2386272912 hasRelatedWork W2525683045 @default.
- W2386272912 hasRelatedWork W2738891033 @default.
- W2386272912 hasRelatedWork W2911454932 @default.
- W2386272912 hasRelatedWork W3142758229 @default.
- W2386272912 hasRelatedWork W321822438 @default.
- W2386272912 hasRelatedWork W326888807 @default.
- W2386272912 hasRelatedWork W632399464 @default.
- W2386272912 isParatext "false" @default.
- W2386272912 isRetracted "false" @default.
- W2386272912 magId "2386272912" @default.
- W2386272912 workType "article" @default.