Matches in SemOpenAlex for { <https://semopenalex.org/work/W2547318924> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2547318924 abstract "The combination of declarative functional languages, formal logic, and mechanical theorem-provers offers the opportunity to extend current CAD tools dealing with finite-state machine synthesis and verification. Theorems are proved showing equivalence between machines under certain correctness conditions. Implementations are related to one another and to specifications where the state, input, and output alphabets are viewed as data types." @default.
- W2547318924 created "2016-11-11" @default.
- W2547318924 creator A5066372559 @default.
- W2547318924 creator A5075957718 @default.
- W2547318924 date "2005-08-24" @default.
- W2547318924 modified "2023-09-23" @default.
- W2547318924 title "Implementing And Verifying Finite-state Machines Using Types In Higher-order Logic" @default.
- W2547318924 cites W1543281322 @default.
- W2547318924 cites W1566674182 @default.
- W2547318924 cites W1578460247 @default.
- W2547318924 cites W1588424036 @default.
- W2547318924 cites W1643036023 @default.
- W2547318924 cites W1994143452 @default.
- W2547318924 cites W2012284435 @default.
- W2547318924 cites W2036800932 @default.
- W2547318924 cites W2049029312 @default.
- W2547318924 cites W2080267935 @default.
- W2547318924 cites W2473630914 @default.
- W2547318924 cites W2500170607 @default.
- W2547318924 doi "https://doi.org/10.1109/hol.1991.596279" @default.
- W2547318924 hasPublicationYear "2005" @default.
- W2547318924 type Work @default.
- W2547318924 sameAs 2547318924 @default.
- W2547318924 citedByCount "1" @default.
- W2547318924 crossrefType "proceedings-article" @default.
- W2547318924 hasAuthorship W2547318924A5066372559 @default.
- W2547318924 hasAuthorship W2547318924A5075957718 @default.
- W2547318924 hasConcept C111498074 @default.
- W2547318924 hasConcept C11413529 @default.
- W2547318924 hasConcept C118615104 @default.
- W2547318924 hasConcept C145243422 @default.
- W2547318924 hasConcept C167822520 @default.
- W2547318924 hasConcept C199360897 @default.
- W2547318924 hasConcept C26713055 @default.
- W2547318924 hasConcept C2780069185 @default.
- W2547318924 hasConcept C33923547 @default.
- W2547318924 hasConcept C41008148 @default.
- W2547318924 hasConcept C48103436 @default.
- W2547318924 hasConcept C55439883 @default.
- W2547318924 hasConcept C80444323 @default.
- W2547318924 hasConcept C88977235 @default.
- W2547318924 hasConceptScore W2547318924C111498074 @default.
- W2547318924 hasConceptScore W2547318924C11413529 @default.
- W2547318924 hasConceptScore W2547318924C118615104 @default.
- W2547318924 hasConceptScore W2547318924C145243422 @default.
- W2547318924 hasConceptScore W2547318924C167822520 @default.
- W2547318924 hasConceptScore W2547318924C199360897 @default.
- W2547318924 hasConceptScore W2547318924C26713055 @default.
- W2547318924 hasConceptScore W2547318924C2780069185 @default.
- W2547318924 hasConceptScore W2547318924C33923547 @default.
- W2547318924 hasConceptScore W2547318924C41008148 @default.
- W2547318924 hasConceptScore W2547318924C48103436 @default.
- W2547318924 hasConceptScore W2547318924C55439883 @default.
- W2547318924 hasConceptScore W2547318924C80444323 @default.
- W2547318924 hasConceptScore W2547318924C88977235 @default.
- W2547318924 hasLocation W25473189241 @default.
- W2547318924 hasOpenAccess W2547318924 @default.
- W2547318924 hasPrimaryLocation W25473189241 @default.
- W2547318924 hasRelatedWork W1532248060 @default.
- W2547318924 hasRelatedWork W1577827016 @default.
- W2547318924 hasRelatedWork W172808264 @default.
- W2547318924 hasRelatedWork W18209331 @default.
- W2547318924 hasRelatedWork W1883702554 @default.
- W2547318924 hasRelatedWork W2026792276 @default.
- W2547318924 hasRelatedWork W206030009 @default.
- W2547318924 hasRelatedWork W2074285438 @default.
- W2547318924 hasRelatedWork W2141195194 @default.
- W2547318924 hasRelatedWork W2479043920 @default.
- W2547318924 hasRelatedWork W2544553669 @default.
- W2547318924 hasRelatedWork W2605220977 @default.
- W2547318924 hasRelatedWork W2730816057 @default.
- W2547318924 hasRelatedWork W2907501963 @default.
- W2547318924 hasRelatedWork W2918597616 @default.
- W2547318924 hasRelatedWork W2949958139 @default.
- W2547318924 hasRelatedWork W3016373772 @default.
- W2547318924 hasRelatedWork W3101557233 @default.
- W2547318924 hasRelatedWork W37965492 @default.
- W2547318924 hasRelatedWork W2988899494 @default.
- W2547318924 isParatext "false" @default.
- W2547318924 isRetracted "false" @default.
- W2547318924 magId "2547318924" @default.
- W2547318924 workType "article" @default.