Matches in SemOpenAlex for { <https://semopenalex.org/work/W2195777310> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2195777310 abstract "Rigid E-unification is the problem of unifying two expressions modulo a set of equations, with the assumption that every variable denotes exactly one term rigid semantics. This form of unification was originally developed as an approach to integrate equational reasoning in tableau-like proof procedures, and studied extensively in the late 80s and 90s. However, the fact that simultaneous rigid E-unification is undecidable has limited the practical relevance of the method, and to the best of our knowledge there is no tableau-based theorem prover that uses rigid E-unification. We recently introduced a new decidable variant of simultaneous rigid E-unification, bounded rigid E-unification BREU, in which variables only represent terms from finite domains, and used it to define a first-order logic calculus. In this paper, we study the problem of computing solutions of individual or simultaneous BREU problems. Two new unification procedures for BREU are introduced, and compared theoretically and experimentally." @default.
- W2195777310 created "2016-06-24" @default.
- W2195777310 creator A5022025835 @default.
- W2195777310 creator A5022135983 @default.
- W2195777310 date "2015-01-01" @default.
- W2195777310 modified "2023-09-25" @default.
- W2195777310 title "Efficient Algorithms for Bounded Rigid E-unification" @default.
- W2195777310 cites W1419398250 @default.
- W2195777310 cites W1483737907 @default.
- W2195777310 cites W1505214882 @default.
- W2195777310 cites W1554618854 @default.
- W2195777310 cites W1585426594 @default.
- W2195777310 cites W1810306334 @default.
- W2195777310 cites W181315827 @default.
- W2195777310 cites W1963677040 @default.
- W2195777310 cites W2153131284 @default.
- W2195777310 cites W4233471482 @default.
- W2195777310 doi "https://doi.org/10.1007/978-3-319-24312-2_6" @default.
- W2195777310 hasPublicationYear "2015" @default.
- W2195777310 type Work @default.
- W2195777310 sameAs 2195777310 @default.
- W2195777310 citedByCount "2" @default.
- W2195777310 countsByYear W21957773102016 @default.
- W2195777310 countsByYear W21957773102017 @default.
- W2195777310 crossrefType "book-chapter" @default.
- W2195777310 hasAuthorship W2195777310A5022025835 @default.
- W2195777310 hasAuthorship W2195777310A5022135983 @default.
- W2195777310 hasBestOaLocation W21957773102 @default.
- W2195777310 hasConcept C108710211 @default.
- W2195777310 hasConcept C11413529 @default.
- W2195777310 hasConcept C118615104 @default.
- W2195777310 hasConcept C134306372 @default.
- W2195777310 hasConcept C136119220 @default.
- W2195777310 hasConcept C153269930 @default.
- W2195777310 hasConcept C159718280 @default.
- W2195777310 hasConcept C177264268 @default.
- W2195777310 hasConcept C182365436 @default.
- W2195777310 hasConcept C192034797 @default.
- W2195777310 hasConcept C199343813 @default.
- W2195777310 hasConcept C199360897 @default.
- W2195777310 hasConcept C202444582 @default.
- W2195777310 hasConcept C206880738 @default.
- W2195777310 hasConcept C2524010 @default.
- W2195777310 hasConcept C2777686260 @default.
- W2195777310 hasConcept C33923547 @default.
- W2195777310 hasConcept C34388435 @default.
- W2195777310 hasConcept C41008148 @default.
- W2195777310 hasConcept C54732982 @default.
- W2195777310 hasConcept C71924100 @default.
- W2195777310 hasConcept C96146094 @default.
- W2195777310 hasConceptScore W2195777310C108710211 @default.
- W2195777310 hasConceptScore W2195777310C11413529 @default.
- W2195777310 hasConceptScore W2195777310C118615104 @default.
- W2195777310 hasConceptScore W2195777310C134306372 @default.
- W2195777310 hasConceptScore W2195777310C136119220 @default.
- W2195777310 hasConceptScore W2195777310C153269930 @default.
- W2195777310 hasConceptScore W2195777310C159718280 @default.
- W2195777310 hasConceptScore W2195777310C177264268 @default.
- W2195777310 hasConceptScore W2195777310C182365436 @default.
- W2195777310 hasConceptScore W2195777310C192034797 @default.
- W2195777310 hasConceptScore W2195777310C199343813 @default.
- W2195777310 hasConceptScore W2195777310C199360897 @default.
- W2195777310 hasConceptScore W2195777310C202444582 @default.
- W2195777310 hasConceptScore W2195777310C206880738 @default.
- W2195777310 hasConceptScore W2195777310C2524010 @default.
- W2195777310 hasConceptScore W2195777310C2777686260 @default.
- W2195777310 hasConceptScore W2195777310C33923547 @default.
- W2195777310 hasConceptScore W2195777310C34388435 @default.
- W2195777310 hasConceptScore W2195777310C41008148 @default.
- W2195777310 hasConceptScore W2195777310C54732982 @default.
- W2195777310 hasConceptScore W2195777310C71924100 @default.
- W2195777310 hasConceptScore W2195777310C96146094 @default.
- W2195777310 hasLocation W21957773101 @default.
- W2195777310 hasLocation W21957773102 @default.
- W2195777310 hasOpenAccess W2195777310 @default.
- W2195777310 hasPrimaryLocation W21957773101 @default.
- W2195777310 hasRelatedWork W1480465948 @default.
- W2195777310 hasRelatedWork W1500812442 @default.
- W2195777310 hasRelatedWork W1551381834 @default.
- W2195777310 hasRelatedWork W182811427 @default.
- W2195777310 hasRelatedWork W2082354652 @default.
- W2195777310 hasRelatedWork W2124345097 @default.
- W2195777310 hasRelatedWork W2626840321 @default.
- W2195777310 hasRelatedWork W2634552222 @default.
- W2195777310 hasRelatedWork W2771728256 @default.
- W2195777310 hasRelatedWork W2789745606 @default.
- W2195777310 hasRelatedWork W2907351305 @default.
- W2195777310 hasRelatedWork W29085931 @default.
- W2195777310 hasRelatedWork W2913596757 @default.
- W2195777310 hasRelatedWork W2939708371 @default.
- W2195777310 hasRelatedWork W3101368285 @default.
- W2195777310 hasRelatedWork W3101717152 @default.
- W2195777310 hasRelatedWork W3145886794 @default.
- W2195777310 hasRelatedWork W3196386255 @default.
- W2195777310 hasRelatedWork W3197560449 @default.
- W2195777310 hasRelatedWork W90907487 @default.
- W2195777310 isParatext "false" @default.
- W2195777310 isRetracted "false" @default.
- W2195777310 magId "2195777310" @default.
- W2195777310 workType "book-chapter" @default.