Matches in SemOpenAlex for { <https://semopenalex.org/work/W2063655645> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2063655645 endingPage "318" @default.
- W2063655645 startingPage "297" @default.
- W2063655645 abstract "In this paper we consider particular equational formulae where equality = AC is the congruence induced by a set of associative-commutative axioms. The formulae we are interested in have the form t ≠ ACt1 ∧…t ≠ ACtn and are usually known as complement problems. To solve a complement problem is to find an instance of t which is not an instance of any ti modulo associativity-commutativity. We give a decision procedure based on tree automata which solves these formulae when all the ti1s are linear. We show that this solution also gives a decision of inductive reducibility modulo associativity and commutativity in the linear case and we give several extensions of this approach. Then, we define a new class of tree automata, called conditional tree automata which recognize sets of generalized terms, i.e terms written as multisets, and where the application of a rule depends on the satisfiability of a formula of Presburger's arithmetic. This class of tree automata allows one to solve non-linear complement problems when all occurrences of a non-linear variable occur under the same node (in flattened terms). This solution also provides a procedure to decide inductive reducibility modulo associativity-commutativity in the same case." @default.
- W2063655645 created "2016-06-24" @default.
- W2063655645 creator A5019390358 @default.
- W2063655645 creator A5069678230 @default.
- W2063655645 date "1994-10-01" @default.
- W2063655645 modified "2023-09-26" @default.
- W2063655645 title "Tree Automata Help One To Solve Equational Formulae In AC-Theories" @default.
- W2063655645 cites W120220645 @default.
- W2063655645 cites W1511251273 @default.
- W2063655645 cites W1573343649 @default.
- W2063655645 cites W1602567617 @default.
- W2063655645 cites W160847359 @default.
- W2063655645 cites W2011437767 @default.
- W2063655645 cites W2033074970 @default.
- W2063655645 cites W2055002795 @default.
- W2063655645 cites W2056774266 @default.
- W2063655645 cites W3020128627 @default.
- W2063655645 cites W3037477934 @default.
- W2063655645 cites W60619409 @default.
- W2063655645 doi "https://doi.org/10.1006/jsco.1994.1049" @default.
- W2063655645 hasPublicationYear "1994" @default.
- W2063655645 type Work @default.
- W2063655645 sameAs 2063655645 @default.
- W2063655645 citedByCount "23" @default.
- W2063655645 countsByYear W20636556452017 @default.
- W2063655645 crossrefType "journal-article" @default.
- W2063655645 hasAuthorship W2063655645A5019390358 @default.
- W2063655645 hasAuthorship W2063655645A5069678230 @default.
- W2063655645 hasBestOaLocation W20636556451 @default.
- W2063655645 hasConcept C104317684 @default.
- W2063655645 hasConcept C112313634 @default.
- W2063655645 hasConcept C112505250 @default.
- W2063655645 hasConcept C113174947 @default.
- W2063655645 hasConcept C114614502 @default.
- W2063655645 hasConcept C118615104 @default.
- W2063655645 hasConcept C127716648 @default.
- W2063655645 hasConcept C153269930 @default.
- W2063655645 hasConcept C154945302 @default.
- W2063655645 hasConcept C159423971 @default.
- W2063655645 hasConcept C183778304 @default.
- W2063655645 hasConcept C185592680 @default.
- W2063655645 hasConcept C188082640 @default.
- W2063655645 hasConcept C202444582 @default.
- W2063655645 hasConcept C2777212361 @default.
- W2063655645 hasConcept C2778583254 @default.
- W2063655645 hasConcept C33923547 @default.
- W2063655645 hasConcept C41008148 @default.
- W2063655645 hasConcept C54732982 @default.
- W2063655645 hasConcept C55493867 @default.
- W2063655645 hasConcept C5852641 @default.
- W2063655645 hasConcept C80444323 @default.
- W2063655645 hasConceptScore W2063655645C104317684 @default.
- W2063655645 hasConceptScore W2063655645C112313634 @default.
- W2063655645 hasConceptScore W2063655645C112505250 @default.
- W2063655645 hasConceptScore W2063655645C113174947 @default.
- W2063655645 hasConceptScore W2063655645C114614502 @default.
- W2063655645 hasConceptScore W2063655645C118615104 @default.
- W2063655645 hasConceptScore W2063655645C127716648 @default.
- W2063655645 hasConceptScore W2063655645C153269930 @default.
- W2063655645 hasConceptScore W2063655645C154945302 @default.
- W2063655645 hasConceptScore W2063655645C159423971 @default.
- W2063655645 hasConceptScore W2063655645C183778304 @default.
- W2063655645 hasConceptScore W2063655645C185592680 @default.
- W2063655645 hasConceptScore W2063655645C188082640 @default.
- W2063655645 hasConceptScore W2063655645C202444582 @default.
- W2063655645 hasConceptScore W2063655645C2777212361 @default.
- W2063655645 hasConceptScore W2063655645C2778583254 @default.
- W2063655645 hasConceptScore W2063655645C33923547 @default.
- W2063655645 hasConceptScore W2063655645C41008148 @default.
- W2063655645 hasConceptScore W2063655645C54732982 @default.
- W2063655645 hasConceptScore W2063655645C55493867 @default.
- W2063655645 hasConceptScore W2063655645C5852641 @default.
- W2063655645 hasConceptScore W2063655645C80444323 @default.
- W2063655645 hasIssue "4" @default.
- W2063655645 hasLocation W20636556451 @default.
- W2063655645 hasLocation W20636556452 @default.
- W2063655645 hasLocation W20636556453 @default.
- W2063655645 hasOpenAccess W2063655645 @default.
- W2063655645 hasPrimaryLocation W20636556451 @default.
- W2063655645 hasRelatedWork W1464760834 @default.
- W2063655645 hasRelatedWork W1511251273 @default.
- W2063655645 hasRelatedWork W1545900962 @default.
- W2063655645 hasRelatedWork W1601366707 @default.
- W2063655645 hasRelatedWork W1761245380 @default.
- W2063655645 hasRelatedWork W2063655645 @default.
- W2063655645 hasRelatedWork W2205009220 @default.
- W2063655645 hasRelatedWork W2253092483 @default.
- W2063655645 hasRelatedWork W2276101422 @default.
- W2063655645 hasRelatedWork W2535076018 @default.
- W2063655645 hasVolume "18" @default.
- W2063655645 isParatext "false" @default.
- W2063655645 isRetracted "false" @default.
- W2063655645 magId "2063655645" @default.
- W2063655645 workType "article" @default.