Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110655951> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2110655951 abstract "A proof tool developed for CSP by customizing an existing general-purpose theorem prover based on higher order logic is described, and it is demonstrated how it can be used to conduct formal reasoning about CSP. The focus is on illustrating the usefulness of the approach. It is shown how reasoning about CSP can be done using a natural deduction theorem prover by illustrating how some standard CSP laws can be mechanically proved from semantic definitions mechanized previously by the author (1990). >" @default.
- W2110655951 created "2016-06-24" @default.
- W2110655951 creator A5020300462 @default.
- W2110655951 date "2002-12-04" @default.
- W2110655951 modified "2023-09-23" @default.
- W2110655951 title "Reasoning in CSP via the HOL theorem prover" @default.
- W2110655951 cites W1498523273 @default.
- W2110655951 cites W1503973138 @default.
- W2110655951 cites W1538068159 @default.
- W2110655951 cites W1565996669 @default.
- W2110655951 cites W1581774065 @default.
- W2110655951 cites W1864574667 @default.
- W2110655951 cites W1996404651 @default.
- W2110655951 cites W2008242614 @default.
- W2110655951 cites W2121372686 @default.
- W2110655951 cites W2148579499 @default.
- W2110655951 cites W3144368627 @default.
- W2110655951 cites W638986915 @default.
- W2110655951 doi "https://doi.org/10.1109/jcit.1990.128283" @default.
- W2110655951 hasPublicationYear "2002" @default.
- W2110655951 type Work @default.
- W2110655951 sameAs 2110655951 @default.
- W2110655951 citedByCount "3" @default.
- W2110655951 countsByYear W21106559512012 @default.
- W2110655951 crossrefType "proceedings-article" @default.
- W2110655951 hasAuthorship W2110655951A5020300462 @default.
- W2110655951 hasConcept C100481476 @default.
- W2110655951 hasConcept C108710211 @default.
- W2110655951 hasConcept C120665830 @default.
- W2110655951 hasConcept C121332964 @default.
- W2110655951 hasConcept C159718280 @default.
- W2110655951 hasConcept C17435882 @default.
- W2110655951 hasConcept C192209626 @default.
- W2110655951 hasConcept C195344581 @default.
- W2110655951 hasConcept C199343813 @default.
- W2110655951 hasConcept C199360897 @default.
- W2110655951 hasConcept C203265346 @default.
- W2110655951 hasConcept C206880738 @default.
- W2110655951 hasConcept C2524010 @default.
- W2110655951 hasConcept C2777686260 @default.
- W2110655951 hasConcept C33923547 @default.
- W2110655951 hasConcept C41008148 @default.
- W2110655951 hasConcept C71924100 @default.
- W2110655951 hasConcept C80444323 @default.
- W2110655951 hasConceptScore W2110655951C100481476 @default.
- W2110655951 hasConceptScore W2110655951C108710211 @default.
- W2110655951 hasConceptScore W2110655951C120665830 @default.
- W2110655951 hasConceptScore W2110655951C121332964 @default.
- W2110655951 hasConceptScore W2110655951C159718280 @default.
- W2110655951 hasConceptScore W2110655951C17435882 @default.
- W2110655951 hasConceptScore W2110655951C192209626 @default.
- W2110655951 hasConceptScore W2110655951C195344581 @default.
- W2110655951 hasConceptScore W2110655951C199343813 @default.
- W2110655951 hasConceptScore W2110655951C199360897 @default.
- W2110655951 hasConceptScore W2110655951C203265346 @default.
- W2110655951 hasConceptScore W2110655951C206880738 @default.
- W2110655951 hasConceptScore W2110655951C2524010 @default.
- W2110655951 hasConceptScore W2110655951C2777686260 @default.
- W2110655951 hasConceptScore W2110655951C33923547 @default.
- W2110655951 hasConceptScore W2110655951C41008148 @default.
- W2110655951 hasConceptScore W2110655951C71924100 @default.
- W2110655951 hasConceptScore W2110655951C80444323 @default.
- W2110655951 hasLocation W21106559511 @default.
- W2110655951 hasOpenAccess W2110655951 @default.
- W2110655951 hasPrimaryLocation W21106559511 @default.
- W2110655951 hasRelatedWork W1488189293 @default.
- W2110655951 hasRelatedWork W1490417012 @default.
- W2110655951 hasRelatedWork W1515340658 @default.
- W2110655951 hasRelatedWork W1561644379 @default.
- W2110655951 hasRelatedWork W1562060679 @default.
- W2110655951 hasRelatedWork W1576046038 @default.
- W2110655951 hasRelatedWork W1576193696 @default.
- W2110655951 hasRelatedWork W1578491500 @default.
- W2110655951 hasRelatedWork W1597173728 @default.
- W2110655951 hasRelatedWork W1619830180 @default.
- W2110655951 hasRelatedWork W1846589774 @default.
- W2110655951 hasRelatedWork W197813433 @default.
- W2110655951 hasRelatedWork W2056318992 @default.
- W2110655951 hasRelatedWork W2230207899 @default.
- W2110655951 hasRelatedWork W2900916756 @default.
- W2110655951 hasRelatedWork W2949263622 @default.
- W2110655951 hasRelatedWork W775246889 @default.
- W2110655951 hasRelatedWork W1797798772 @default.
- W2110655951 hasRelatedWork W2599129805 @default.
- W2110655951 hasRelatedWork W38890958 @default.
- W2110655951 isParatext "false" @default.
- W2110655951 isRetracted "false" @default.
- W2110655951 magId "2110655951" @default.
- W2110655951 workType "article" @default.