Matches in SemOpenAlex for { <https://semopenalex.org/work/W98547340> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W98547340 abstract "We describe BDD-based decision procedures for ( mathcal{K} ). Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Our algorithms compute the fixpoint of a set of types, which are sets of formulas satisfying some consistency conditions. We use BDDs to represent and manipulate such sets. Experimental results show that our algorithms are competitive with contemporary methods using benchmarks from TANCS 98 and TANCS 2000." @default.
- W98547340 created "2016-06-24" @default.
- W98547340 creator A5000059818 @default.
- W98547340 creator A5017817489 @default.
- W98547340 creator A5072391425 @default.
- W98547340 date "2002-01-01" @default.
- W98547340 modified "2023-09-24" @default.
- W98547340 title "BDD-Based Decision Procedures for $$ mathcal{K} $$" @default.
- W98547340 cites W1498675708 @default.
- W98547340 cites W1503647529 @default.
- W98547340 cites W1535158818 @default.
- W98547340 cites W1594518690 @default.
- W98547340 cites W164685601 @default.
- W98547340 cites W1758995468 @default.
- W98547340 cites W1878071947 @default.
- W98547340 cites W1997716585 @default.
- W98547340 cites W2001289891 @default.
- W98547340 cites W2008211212 @default.
- W98547340 cites W2021025450 @default.
- W98547340 cites W2061438988 @default.
- W98547340 cites W2073491323 @default.
- W98547340 cites W2076073997 @default.
- W98547340 cites W2177921372 @default.
- W98547340 cites W2482511589 @default.
- W98547340 cites W4211144022 @default.
- W98547340 doi "https://doi.org/10.1007/3-540-45620-1_2" @default.
- W98547340 hasPublicationYear "2002" @default.
- W98547340 type Work @default.
- W98547340 sameAs 98547340 @default.
- W98547340 citedByCount "12" @default.
- W98547340 countsByYear W985473402019 @default.
- W98547340 crossrefType "book-chapter" @default.
- W98547340 hasAuthorship W98547340A5000059818 @default.
- W98547340 hasAuthorship W98547340A5017817489 @default.
- W98547340 hasAuthorship W98547340A5072391425 @default.
- W98547340 hasConcept C112505250 @default.
- W98547340 hasConcept C11413529 @default.
- W98547340 hasConcept C154945302 @default.
- W98547340 hasConcept C177264268 @default.
- W98547340 hasConcept C199360897 @default.
- W98547340 hasConcept C2776436953 @default.
- W98547340 hasConcept C3309909 @default.
- W98547340 hasConcept C41008148 @default.
- W98547340 hasConcept C80444323 @default.
- W98547340 hasConceptScore W98547340C112505250 @default.
- W98547340 hasConceptScore W98547340C11413529 @default.
- W98547340 hasConceptScore W98547340C154945302 @default.
- W98547340 hasConceptScore W98547340C177264268 @default.
- W98547340 hasConceptScore W98547340C199360897 @default.
- W98547340 hasConceptScore W98547340C2776436953 @default.
- W98547340 hasConceptScore W98547340C3309909 @default.
- W98547340 hasConceptScore W98547340C41008148 @default.
- W98547340 hasConceptScore W98547340C80444323 @default.
- W98547340 hasLocation W985473401 @default.
- W98547340 hasOpenAccess W98547340 @default.
- W98547340 hasPrimaryLocation W985473401 @default.
- W98547340 hasRelatedWork W1525466908 @default.
- W98547340 hasRelatedWork W1575972638 @default.
- W98547340 hasRelatedWork W1593443951 @default.
- W98547340 hasRelatedWork W1599077886 @default.
- W98547340 hasRelatedWork W165029591 @default.
- W98547340 hasRelatedWork W2035394003 @default.
- W98547340 hasRelatedWork W2061438988 @default.
- W98547340 hasRelatedWork W2068815633 @default.
- W98547340 hasRelatedWork W2080267935 @default.
- W98547340 hasRelatedWork W2088602797 @default.
- W98547340 hasRelatedWork W2123312976 @default.
- W98547340 hasRelatedWork W2145785237 @default.
- W98547340 hasRelatedWork W2465067896 @default.
- W98547340 hasRelatedWork W2479999086 @default.
- W98547340 hasRelatedWork W2767987826 @default.
- W98547340 hasRelatedWork W2972725030 @default.
- W98547340 hasRelatedWork W31901315 @default.
- W98547340 hasRelatedWork W3196342125 @default.
- W98547340 hasRelatedWork W5386596 @default.
- W98547340 hasRelatedWork W2189575622 @default.
- W98547340 isParatext "false" @default.
- W98547340 isRetracted "false" @default.
- W98547340 magId "98547340" @default.
- W98547340 workType "book-chapter" @default.