Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078381694> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2078381694 endingPage "233" @default.
- W2078381694 startingPage "215" @default.
- W2078381694 abstract "We introduce a new class of tree automata, which we call Reduction Automata (RA), and we use it to prove the decidability of the whole first order of theory of reduction (the theory of reduction is the set of true sentences built up with unary predicates redt(x) x is reducible by t, i.e. some instance of t is a subterm of x). So we link rewriting, logic and formal languages." @default.
- W2078381694 created "2016-06-24" @default.
- W2078381694 creator A5037400034 @default.
- W2078381694 creator A5084950142 @default.
- W2078381694 creator A5086952913 @default.
- W2078381694 date "1995-08-01" @default.
- W2078381694 modified "2023-10-18" @default.
- W2078381694 title "Automata for Reduction Properties Solving" @default.
- W2078381694 doi "https://doi.org/10.1006/jsco.1995.1048" @default.
- W2078381694 hasPublicationYear "1995" @default.
- W2078381694 type Work @default.
- W2078381694 sameAs 2078381694 @default.
- W2078381694 citedByCount "37" @default.
- W2078381694 countsByYear W20783816942012 @default.
- W2078381694 countsByYear W20783816942013 @default.
- W2078381694 countsByYear W20783816942014 @default.
- W2078381694 countsByYear W20783816942022 @default.
- W2078381694 crossrefType "journal-article" @default.
- W2078381694 hasAuthorship W2078381694A5037400034 @default.
- W2078381694 hasAuthorship W2078381694A5084950142 @default.
- W2078381694 hasAuthorship W2078381694A5086952913 @default.
- W2078381694 hasBestOaLocation W20783816941 @default.
- W2078381694 hasConcept C111335779 @default.
- W2078381694 hasConcept C112505250 @default.
- W2078381694 hasConcept C113174947 @default.
- W2078381694 hasConcept C114614502 @default.
- W2078381694 hasConcept C116248031 @default.
- W2078381694 hasConcept C118615104 @default.
- W2078381694 hasConcept C153269930 @default.
- W2078381694 hasConcept C154690210 @default.
- W2078381694 hasConcept C154945302 @default.
- W2078381694 hasConcept C177264268 @default.
- W2078381694 hasConcept C199360897 @default.
- W2078381694 hasConcept C2524010 @default.
- W2078381694 hasConcept C2777212361 @default.
- W2078381694 hasConcept C2778583254 @default.
- W2078381694 hasConcept C33923547 @default.
- W2078381694 hasConcept C41008148 @default.
- W2078381694 hasConcept C78023250 @default.
- W2078381694 hasConcept C80444323 @default.
- W2078381694 hasConceptScore W2078381694C111335779 @default.
- W2078381694 hasConceptScore W2078381694C112505250 @default.
- W2078381694 hasConceptScore W2078381694C113174947 @default.
- W2078381694 hasConceptScore W2078381694C114614502 @default.
- W2078381694 hasConceptScore W2078381694C116248031 @default.
- W2078381694 hasConceptScore W2078381694C118615104 @default.
- W2078381694 hasConceptScore W2078381694C153269930 @default.
- W2078381694 hasConceptScore W2078381694C154690210 @default.
- W2078381694 hasConceptScore W2078381694C154945302 @default.
- W2078381694 hasConceptScore W2078381694C177264268 @default.
- W2078381694 hasConceptScore W2078381694C199360897 @default.
- W2078381694 hasConceptScore W2078381694C2524010 @default.
- W2078381694 hasConceptScore W2078381694C2777212361 @default.
- W2078381694 hasConceptScore W2078381694C2778583254 @default.
- W2078381694 hasConceptScore W2078381694C33923547 @default.
- W2078381694 hasConceptScore W2078381694C41008148 @default.
- W2078381694 hasConceptScore W2078381694C78023250 @default.
- W2078381694 hasConceptScore W2078381694C80444323 @default.
- W2078381694 hasIssue "2" @default.
- W2078381694 hasLocation W20783816941 @default.
- W2078381694 hasLocation W20783816942 @default.
- W2078381694 hasLocation W20783816943 @default.
- W2078381694 hasOpenAccess W2078381694 @default.
- W2078381694 hasPrimaryLocation W20783816941 @default.
- W2078381694 hasRelatedWork W1761245380 @default.
- W2078381694 hasRelatedWork W2052395110 @default.
- W2078381694 hasRelatedWork W2078381694 @default.
- W2078381694 hasRelatedWork W2291626689 @default.
- W2078381694 hasRelatedWork W2326128389 @default.
- W2078381694 hasRelatedWork W2397493558 @default.
- W2078381694 hasRelatedWork W2535076018 @default.
- W2078381694 hasRelatedWork W2953470554 @default.
- W2078381694 hasRelatedWork W4293399599 @default.
- W2078381694 hasRelatedWork W92427928 @default.
- W2078381694 hasVolume "20" @default.
- W2078381694 isParatext "false" @default.
- W2078381694 isRetracted "false" @default.
- W2078381694 magId "2078381694" @default.
- W2078381694 workType "article" @default.