Matches in SemOpenAlex for { <https://semopenalex.org/work/W63393015> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W63393015 abstract "Many proof tools use ‘tactic languages’ as programs to direct their proofs. We present a simplified idealised tactic language, and describe its denotational semantics. The language has many applications outside theorem-proving activities. The semantics is parametrised by a monad (plus additional structure). By instantiating this in various ways, the core semantics of a number of different tactic languages is obtained." @default.
- W63393015 created "2016-06-24" @default.
- W63393015 creator A5086558126 @default.
- W63393015 creator A5087547134 @default.
- W63393015 date "2002-01-01" @default.
- W63393015 modified "2023-09-23" @default.
- W63393015 title "A Monadic Interpretation of Tactics" @default.
- W63393015 cites W1498523273 @default.
- W63393015 cites W1502863379 @default.
- W63393015 cites W1511808484 @default.
- W63393015 cites W1552647623 @default.
- W63393015 cites W1558180172 @default.
- W63393015 cites W1581084465 @default.
- W63393015 cites W1586167239 @default.
- W63393015 cites W1597173728 @default.
- W63393015 cites W1741698332 @default.
- W63393015 cites W1953527632 @default.
- W63393015 cites W1985220128 @default.
- W63393015 cites W1995955735 @default.
- W63393015 cites W2027048725 @default.
- W63393015 cites W2037984920 @default.
- W63393015 cites W2057292961 @default.
- W63393015 cites W2137473542 @default.
- W63393015 cites W2156876717 @default.
- W63393015 cites W2176475346 @default.
- W63393015 cites W2231383373 @default.
- W63393015 cites W2913378306 @default.
- W63393015 hasPublicationYear "2002" @default.
- W63393015 type Work @default.
- W63393015 sameAs 63393015 @default.
- W63393015 citedByCount "5" @default.
- W63393015 countsByYear W633930152013 @default.
- W63393015 countsByYear W633930152016 @default.
- W63393015 crossrefType "journal-article" @default.
- W63393015 hasAuthorship W63393015A5086558126 @default.
- W63393015 hasAuthorship W63393015A5087547134 @default.
- W63393015 hasConcept C108710211 @default.
- W63393015 hasConcept C118615104 @default.
- W63393015 hasConcept C146499914 @default.
- W63393015 hasConcept C150607116 @default.
- W63393015 hasConcept C156325763 @default.
- W63393015 hasConcept C156772000 @default.
- W63393015 hasConcept C184337299 @default.
- W63393015 hasConcept C199360897 @default.
- W63393015 hasConcept C207648694 @default.
- W63393015 hasConcept C2164484 @default.
- W63393015 hasConcept C2524010 @default.
- W63393015 hasConcept C33923547 @default.
- W63393015 hasConcept C33959348 @default.
- W63393015 hasConcept C41008148 @default.
- W63393015 hasConcept C527412718 @default.
- W63393015 hasConcept C76155785 @default.
- W63393015 hasConcept C89448276 @default.
- W63393015 hasConceptScore W63393015C108710211 @default.
- W63393015 hasConceptScore W63393015C118615104 @default.
- W63393015 hasConceptScore W63393015C146499914 @default.
- W63393015 hasConceptScore W63393015C150607116 @default.
- W63393015 hasConceptScore W63393015C156325763 @default.
- W63393015 hasConceptScore W63393015C156772000 @default.
- W63393015 hasConceptScore W63393015C184337299 @default.
- W63393015 hasConceptScore W63393015C199360897 @default.
- W63393015 hasConceptScore W63393015C207648694 @default.
- W63393015 hasConceptScore W63393015C2164484 @default.
- W63393015 hasConceptScore W63393015C2524010 @default.
- W63393015 hasConceptScore W63393015C33923547 @default.
- W63393015 hasConceptScore W63393015C33959348 @default.
- W63393015 hasConceptScore W63393015C41008148 @default.
- W63393015 hasConceptScore W63393015C527412718 @default.
- W63393015 hasConceptScore W63393015C76155785 @default.
- W63393015 hasConceptScore W63393015C89448276 @default.
- W63393015 hasLocation W633930151 @default.
- W63393015 hasOpenAccess W63393015 @default.
- W63393015 hasPrimaryLocation W633930151 @default.
- W63393015 hasRelatedWork W1481336809 @default.
- W63393015 hasRelatedWork W1484549188 @default.
- W63393015 hasRelatedWork W1529227536 @default.
- W63393015 hasRelatedWork W1554480506 @default.
- W63393015 hasRelatedWork W1564003788 @default.
- W63393015 hasRelatedWork W1576046038 @default.
- W63393015 hasRelatedWork W2036502249 @default.
- W63393015 hasRelatedWork W2056318992 @default.
- W63393015 hasRelatedWork W2113426200 @default.
- W63393015 hasRelatedWork W2145004236 @default.
- W63393015 hasRelatedWork W2177173368 @default.
- W63393015 hasRelatedWork W2262347362 @default.
- W63393015 hasRelatedWork W2504864156 @default.
- W63393015 hasRelatedWork W2518737258 @default.
- W63393015 hasRelatedWork W2587442880 @default.
- W63393015 hasRelatedWork W3033813981 @default.
- W63393015 hasRelatedWork W3093736901 @default.
- W63393015 hasRelatedWork W3094379708 @default.
- W63393015 hasRelatedWork W3120568258 @default.
- W63393015 hasRelatedWork W2599129805 @default.
- W63393015 isParatext "false" @default.
- W63393015 isRetracted "false" @default.
- W63393015 magId "63393015" @default.
- W63393015 workType "article" @default.