Matches in SemOpenAlex for { <https://semopenalex.org/work/W2948813670> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2948813670 abstract "Recent work has shown that a technique using Binary Decision Diagrams (BDDs) to decide CTL and Int gives promising results. Based on this we explore how the method can be extended to other non-classical logics. In particular, we describe a putative method for deciding the modal mu-calculus using BDDs." @default.
- W2948813670 created "2019-06-14" @default.
- W2948813670 creator A5045899397 @default.
- W2948813670 creator A5088219777 @default.
- W2948813670 date "2018-01-23" @default.
- W2948813670 modified "2023-09-23" @default.
- W2948813670 title "BDD-based automated reasoning in propositional non-classical logics: progress report" @default.
- W2948813670 doi "https://doi.org/10.29007/swbj" @default.
- W2948813670 hasPublicationYear "2018" @default.
- W2948813670 type Work @default.
- W2948813670 sameAs 2948813670 @default.
- W2948813670 citedByCount "0" @default.
- W2948813670 crossrefType "proceedings-article" @default.
- W2948813670 hasAuthorship W2948813670A5045899397 @default.
- W2948813670 hasAuthorship W2948813670A5088219777 @default.
- W2948813670 hasBestOaLocation W29488136701 @default.
- W2948813670 hasConcept C102993220 @default.
- W2948813670 hasConcept C110251889 @default.
- W2948813670 hasConcept C11413529 @default.
- W2948813670 hasConcept C14523651 @default.
- W2948813670 hasConcept C185592680 @default.
- W2948813670 hasConcept C188027245 @default.
- W2948813670 hasConcept C199343813 @default.
- W2948813670 hasConcept C199360897 @default.
- W2948813670 hasConcept C27508121 @default.
- W2948813670 hasConcept C2777686260 @default.
- W2948813670 hasConcept C3309909 @default.
- W2948813670 hasConcept C33203268 @default.
- W2948813670 hasConcept C41008148 @default.
- W2948813670 hasConcept C69562738 @default.
- W2948813670 hasConcept C71139939 @default.
- W2948813670 hasConcept C71924100 @default.
- W2948813670 hasConcept C74640108 @default.
- W2948813670 hasConcept C80444323 @default.
- W2948813670 hasConceptScore W2948813670C102993220 @default.
- W2948813670 hasConceptScore W2948813670C110251889 @default.
- W2948813670 hasConceptScore W2948813670C11413529 @default.
- W2948813670 hasConceptScore W2948813670C14523651 @default.
- W2948813670 hasConceptScore W2948813670C185592680 @default.
- W2948813670 hasConceptScore W2948813670C188027245 @default.
- W2948813670 hasConceptScore W2948813670C199343813 @default.
- W2948813670 hasConceptScore W2948813670C199360897 @default.
- W2948813670 hasConceptScore W2948813670C27508121 @default.
- W2948813670 hasConceptScore W2948813670C2777686260 @default.
- W2948813670 hasConceptScore W2948813670C3309909 @default.
- W2948813670 hasConceptScore W2948813670C33203268 @default.
- W2948813670 hasConceptScore W2948813670C41008148 @default.
- W2948813670 hasConceptScore W2948813670C69562738 @default.
- W2948813670 hasConceptScore W2948813670C71139939 @default.
- W2948813670 hasConceptScore W2948813670C71924100 @default.
- W2948813670 hasConceptScore W2948813670C74640108 @default.
- W2948813670 hasConceptScore W2948813670C80444323 @default.
- W2948813670 hasLocation W29488136701 @default.
- W2948813670 hasOpenAccess W2948813670 @default.
- W2948813670 hasPrimaryLocation W29488136701 @default.
- W2948813670 hasRelatedWork W117657209 @default.
- W2948813670 hasRelatedWork W1549391871 @default.
- W2948813670 hasRelatedWork W1567968780 @default.
- W2948813670 hasRelatedWork W2014065806 @default.
- W2948813670 hasRelatedWork W2015640848 @default.
- W2948813670 hasRelatedWork W2042883980 @default.
- W2948813670 hasRelatedWork W2100973900 @default.
- W2948813670 hasRelatedWork W2137641996 @default.
- W2948813670 hasRelatedWork W2144874693 @default.
- W2948813670 hasRelatedWork W1481364580 @default.
- W2948813670 isParatext "false" @default.
- W2948813670 isRetracted "false" @default.
- W2948813670 magId "2948813670" @default.
- W2948813670 workType "article" @default.