Matches in SemOpenAlex for { <https://semopenalex.org/work/W100496960> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W100496960 endingPage "53" @default.
- W100496960 startingPage "36" @default.
- W100496960 abstract "We investigate the relative complexity of two free-variable labelled modal tableaux (KEM and Single Step Tableaux, SST). We discuss the reasons why p-simulation is not a proper measure of the relative complexity of tableaux-like proof systems, and we propose an improved comparison scale (p-search-simulation). Finally we show that KEM p-search-simulates SST while SST cannot p-search-simulate KEM." @default.
- W100496960 created "2016-06-24" @default.
- W100496960 creator A5058360953 @default.
- W100496960 date "2003-01-01" @default.
- W100496960 modified "2023-09-23" @default.
- W100496960 title "On the Relative Complexity of Modal Tableaux" @default.
- W100496960 hasPublicationYear "2003" @default.
- W100496960 type Work @default.
- W100496960 sameAs 100496960 @default.
- W100496960 citedByCount "0" @default.
- W100496960 crossrefType "proceedings-article" @default.
- W100496960 hasAuthorship W100496960A5058360953 @default.
- W100496960 hasConcept C11413529 @default.
- W100496960 hasConcept C121332964 @default.
- W100496960 hasConcept C124101348 @default.
- W100496960 hasConcept C134306372 @default.
- W100496960 hasConcept C179799912 @default.
- W100496960 hasConcept C182365436 @default.
- W100496960 hasConcept C185592680 @default.
- W100496960 hasConcept C188027245 @default.
- W100496960 hasConcept C2778755073 @default.
- W100496960 hasConcept C2780009758 @default.
- W100496960 hasConcept C33923547 @default.
- W100496960 hasConcept C41008148 @default.
- W100496960 hasConcept C62520636 @default.
- W100496960 hasConcept C71139939 @default.
- W100496960 hasConceptScore W100496960C11413529 @default.
- W100496960 hasConceptScore W100496960C121332964 @default.
- W100496960 hasConceptScore W100496960C124101348 @default.
- W100496960 hasConceptScore W100496960C134306372 @default.
- W100496960 hasConceptScore W100496960C179799912 @default.
- W100496960 hasConceptScore W100496960C182365436 @default.
- W100496960 hasConceptScore W100496960C185592680 @default.
- W100496960 hasConceptScore W100496960C188027245 @default.
- W100496960 hasConceptScore W100496960C2778755073 @default.
- W100496960 hasConceptScore W100496960C2780009758 @default.
- W100496960 hasConceptScore W100496960C33923547 @default.
- W100496960 hasConceptScore W100496960C41008148 @default.
- W100496960 hasConceptScore W100496960C62520636 @default.
- W100496960 hasConceptScore W100496960C71139939 @default.
- W100496960 hasLocation W1004969601 @default.
- W100496960 hasOpenAccess W100496960 @default.
- W100496960 hasPrimaryLocation W1004969601 @default.
- W100496960 hasRelatedWork W1517466677 @default.
- W100496960 hasRelatedWork W1560126183 @default.
- W100496960 hasRelatedWork W1642217723 @default.
- W100496960 hasRelatedWork W1969803220 @default.
- W100496960 hasRelatedWork W2025957619 @default.
- W100496960 hasRelatedWork W2033194803 @default.
- W100496960 hasRelatedWork W2080861403 @default.
- W100496960 hasRelatedWork W2130164058 @default.
- W100496960 hasRelatedWork W2148103165 @default.
- W100496960 hasRelatedWork W2157787341 @default.
- W100496960 hasRelatedWork W2171116055 @default.
- W100496960 hasRelatedWork W2360294368 @default.
- W100496960 hasRelatedWork W2739750561 @default.
- W100496960 hasRelatedWork W2952729271 @default.
- W100496960 hasRelatedWork W2963073121 @default.
- W100496960 hasRelatedWork W2992632610 @default.
- W100496960 hasRelatedWork W3004079961 @default.
- W100496960 hasRelatedWork W3136372787 @default.
- W100496960 hasRelatedWork W3177031355 @default.
- W100496960 hasRelatedWork W2893003573 @default.
- W100496960 hasVolume "78" @default.
- W100496960 isParatext "false" @default.
- W100496960 isRetracted "false" @default.
- W100496960 magId "100496960" @default.
- W100496960 workType "article" @default.