Matches in SemOpenAlex for { <https://semopenalex.org/work/W2743317844> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2743317844 abstract "We provide a sound, complete and terminating tableau procedure to check satisfiability of downward XPath(_=) formulas enriched with nominals and satisfaction operators. The calculus is inspired by ideas introduced to ensure termination of tableau calculi for certain Hybrid Logics. We prove that even though we increased the expressive power of XPath by introducing hybrid operators, the satisfiability problem for the obtained logic is still PSpace-complete." @default.
- W2743317844 created "2017-08-17" @default.
- W2743317844 creator A5022706489 @default.
- W2743317844 creator A5022883877 @default.
- W2743317844 creator A5078884064 @default.
- W2743317844 date "2017-01-01" @default.
- W2743317844 modified "2023-10-01" @default.
- W2743317844 title "Tableaux for Hybrid XPath with Data" @default.
- W2743317844 cites W1759871617 @default.
- W2743317844 cites W1978299898 @default.
- W2743317844 cites W1992942833 @default.
- W2743317844 cites W2005612348 @default.
- W2743317844 cites W2036564813 @default.
- W2743317844 cites W2067803913 @default.
- W2743317844 cites W2134826526 @default.
- W2743317844 cites W2213813753 @default.
- W2743317844 cites W2294792814 @default.
- W2743317844 cites W2539891404 @default.
- W2743317844 cites W2962760294 @default.
- W2743317844 cites W4211144022 @default.
- W2743317844 doi "https://doi.org/10.1007/978-3-319-65340-2_50" @default.
- W2743317844 hasPublicationYear "2017" @default.
- W2743317844 type Work @default.
- W2743317844 sameAs 2743317844 @default.
- W2743317844 citedByCount "2" @default.
- W2743317844 countsByYear W27433178442021 @default.
- W2743317844 countsByYear W27433178442023 @default.
- W2743317844 crossrefType "book-chapter" @default.
- W2743317844 hasAuthorship W2743317844A5022706489 @default.
- W2743317844 hasAuthorship W2743317844A5022883877 @default.
- W2743317844 hasAuthorship W2743317844A5078884064 @default.
- W2743317844 hasConcept C111919701 @default.
- W2743317844 hasConcept C11413529 @default.
- W2743317844 hasConcept C168773769 @default.
- W2743317844 hasConcept C179799912 @default.
- W2743317844 hasConcept C195818886 @default.
- W2743317844 hasConcept C197685441 @default.
- W2743317844 hasConcept C199360897 @default.
- W2743317844 hasConcept C2780213375 @default.
- W2743317844 hasConcept C41008148 @default.
- W2743317844 hasConcept C55348073 @default.
- W2743317844 hasConcept C6943359 @default.
- W2743317844 hasConcept C80444323 @default.
- W2743317844 hasConcept C8797682 @default.
- W2743317844 hasConceptScore W2743317844C111919701 @default.
- W2743317844 hasConceptScore W2743317844C11413529 @default.
- W2743317844 hasConceptScore W2743317844C168773769 @default.
- W2743317844 hasConceptScore W2743317844C179799912 @default.
- W2743317844 hasConceptScore W2743317844C195818886 @default.
- W2743317844 hasConceptScore W2743317844C197685441 @default.
- W2743317844 hasConceptScore W2743317844C199360897 @default.
- W2743317844 hasConceptScore W2743317844C2780213375 @default.
- W2743317844 hasConceptScore W2743317844C41008148 @default.
- W2743317844 hasConceptScore W2743317844C55348073 @default.
- W2743317844 hasConceptScore W2743317844C6943359 @default.
- W2743317844 hasConceptScore W2743317844C80444323 @default.
- W2743317844 hasConceptScore W2743317844C8797682 @default.
- W2743317844 hasLocation W27433178441 @default.
- W2743317844 hasOpenAccess W2743317844 @default.
- W2743317844 hasPrimaryLocation W27433178441 @default.
- W2743317844 hasRelatedWork W1829796646 @default.
- W2743317844 hasRelatedWork W1968075259 @default.
- W2743317844 hasRelatedWork W1992942833 @default.
- W2743317844 hasRelatedWork W2031337592 @default.
- W2743317844 hasRelatedWork W2034414790 @default.
- W2743317844 hasRelatedWork W2044007894 @default.
- W2743317844 hasRelatedWork W2047551518 @default.
- W2743317844 hasRelatedWork W2151886642 @default.
- W2743317844 hasRelatedWork W2530320023 @default.
- W2743317844 hasRelatedWork W2535950331 @default.
- W2743317844 hasRelatedWork W2539891404 @default.
- W2743317844 hasRelatedWork W2962760294 @default.
- W2743317844 hasRelatedWork W2971592291 @default.
- W2743317844 hasRelatedWork W3014523212 @default.
- W2743317844 hasRelatedWork W3037251419 @default.
- W2743317844 hasRelatedWork W3100064989 @default.
- W2743317844 hasRelatedWork W34305035 @default.
- W2743317844 hasRelatedWork W52360167 @default.
- W2743317844 hasRelatedWork W62452097 @default.
- W2743317844 hasRelatedWork W1889795185 @default.
- W2743317844 isParatext "false" @default.
- W2743317844 isRetracted "false" @default.
- W2743317844 magId "2743317844" @default.
- W2743317844 workType "book-chapter" @default.