Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169552207> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2169552207 abstract "The talk will discuss various proof tools for Csp, show examples of how to analyze systems using these tools, and will also cover recent developments such as the tool HORAE, which is based on constraint satisfaction techniques, and the Csp-CASL-Prover, which provides integrated theorem proving for processes and data." @default.
- W2169552207 created "2016-06-24" @default.
- W2169552207 creator A5052756595 @default.
- W2169552207 date "2008-01-01" @default.
- W2169552207 modified "2023-10-16" @default.
- W2169552207 title "Tools for CSP" @default.
- W2169552207 cites W1482892048 @default.
- W2169552207 cites W1541083135 @default.
- W2169552207 cites W1541671050 @default.
- W2169552207 cites W1562227886 @default.
- W2169552207 cites W1566729015 @default.
- W2169552207 cites W1582292473 @default.
- W2169552207 cites W1588663335 @default.
- W2169552207 cites W1588668163 @default.
- W2169552207 cites W1597955218 @default.
- W2169552207 cites W1627776297 @default.
- W2169552207 cites W1737580910 @default.
- W2169552207 cites W196034679 @default.
- W2169552207 cites W2114197849 @default.
- W2169552207 cites W2129384397 @default.
- W2169552207 cites W2144569549 @default.
- W2169552207 cites W2148579499 @default.
- W2169552207 cites W3144368627 @default.
- W2169552207 cites W57212168 @default.
- W2169552207 cites W1574924379 @default.
- W2169552207 cites W2584449131 @default.
- W2169552207 cites W3142790043 @default.
- W2169552207 doi "https://doi.org/10.1109/sefm.2008.39" @default.
- W2169552207 hasPublicationYear "2008" @default.
- W2169552207 type Work @default.
- W2169552207 sameAs 2169552207 @default.
- W2169552207 citedByCount "0" @default.
- W2169552207 crossrefType "proceedings-article" @default.
- W2169552207 hasAuthorship W2169552207A5052756595 @default.
- W2169552207 hasConcept C108710211 @default.
- W2169552207 hasConcept C115903868 @default.
- W2169552207 hasConcept C127413603 @default.
- W2169552207 hasConcept C154945302 @default.
- W2169552207 hasConcept C159718280 @default.
- W2169552207 hasConcept C199360897 @default.
- W2169552207 hasConcept C199622910 @default.
- W2169552207 hasConcept C206880738 @default.
- W2169552207 hasConcept C2524010 @default.
- W2169552207 hasConcept C2776036281 @default.
- W2169552207 hasConcept C2780428219 @default.
- W2169552207 hasConcept C33923547 @default.
- W2169552207 hasConcept C41008148 @default.
- W2169552207 hasConcept C44616089 @default.
- W2169552207 hasConcept C49937458 @default.
- W2169552207 hasConcept C78519656 @default.
- W2169552207 hasConcept C80444323 @default.
- W2169552207 hasConceptScore W2169552207C108710211 @default.
- W2169552207 hasConceptScore W2169552207C115903868 @default.
- W2169552207 hasConceptScore W2169552207C127413603 @default.
- W2169552207 hasConceptScore W2169552207C154945302 @default.
- W2169552207 hasConceptScore W2169552207C159718280 @default.
- W2169552207 hasConceptScore W2169552207C199360897 @default.
- W2169552207 hasConceptScore W2169552207C199622910 @default.
- W2169552207 hasConceptScore W2169552207C206880738 @default.
- W2169552207 hasConceptScore W2169552207C2524010 @default.
- W2169552207 hasConceptScore W2169552207C2776036281 @default.
- W2169552207 hasConceptScore W2169552207C2780428219 @default.
- W2169552207 hasConceptScore W2169552207C33923547 @default.
- W2169552207 hasConceptScore W2169552207C41008148 @default.
- W2169552207 hasConceptScore W2169552207C44616089 @default.
- W2169552207 hasConceptScore W2169552207C49937458 @default.
- W2169552207 hasConceptScore W2169552207C78519656 @default.
- W2169552207 hasConceptScore W2169552207C80444323 @default.
- W2169552207 hasLocation W21695522071 @default.
- W2169552207 hasOpenAccess W2169552207 @default.
- W2169552207 hasPrimaryLocation W21695522071 @default.
- W2169552207 hasRelatedWork W1577272033 @default.
- W2169552207 hasRelatedWork W181793625 @default.
- W2169552207 hasRelatedWork W2012141606 @default.
- W2169552207 hasRelatedWork W2070692358 @default.
- W2169552207 hasRelatedWork W2097415053 @default.
- W2169552207 hasRelatedWork W2169552207 @default.
- W2169552207 hasRelatedWork W2292155251 @default.
- W2169552207 hasRelatedWork W2470231588 @default.
- W2169552207 hasRelatedWork W2784687883 @default.
- W2169552207 hasRelatedWork W4301760132 @default.
- W2169552207 isParatext "false" @default.
- W2169552207 isRetracted "false" @default.
- W2169552207 magId "2169552207" @default.
- W2169552207 workType "article" @default.