Matches in SemOpenAlex for { <https://semopenalex.org/work/W274753623> ?p ?o ?g. }
- W274753623 abstract "This Proceedings includes both a paper from the implementors of PVS providing guidance for PVS strategy writers and a tutorial on PVS strategy writing distilled from the experience of three PVS users who have written extensive sets of PVS user strategies. Following these are three full papers from the higher-order logic theorem proving community that discuss PVS strategies to enhance arithmetic and other interactive reasoning in PVS; implementing first-order tactics in higher-order provers; and a proposed technique for specifying small step semantics that can be used in multiple higher order logic theorem provers, with illustrations from both Coq and PVS. The Proceedings concludes with three position papers for a panel session that discuss three settings in which development of PVS strategies is worth while." @default.
- W274753623 created "2016-06-24" @default.
- W274753623 creator A5016058241 @default.
- W274753623 creator A5062249962 @default.
- W274753623 creator A5075025968 @default.
- W274753623 date "2003-09-01" @default.
- W274753623 modified "2023-09-26" @default.
- W274753623 title "Design and Application of Strategies/Tactics in Higher Order Logics" @default.
- W274753623 cites W1168882622 @default.
- W274753623 cites W1250591879 @default.
- W274753623 cites W1489595242 @default.
- W274753623 cites W1494633126 @default.
- W274753623 cites W1498523273 @default.
- W274753623 cites W1504680642 @default.
- W274753623 cites W1504805982 @default.
- W274753623 cites W1506458079 @default.
- W274753623 cites W1511527545 @default.
- W274753623 cites W1512751828 @default.
- W274753623 cites W1517272117 @default.
- W274753623 cites W1521083034 @default.
- W274753623 cites W1530765221 @default.
- W274753623 cites W1533807701 @default.
- W274753623 cites W1535619067 @default.
- W274753623 cites W1538068999 @default.
- W274753623 cites W1538666241 @default.
- W274753623 cites W1547894164 @default.
- W274753623 cites W1555093324 @default.
- W274753623 cites W1560253649 @default.
- W274753623 cites W1560420247 @default.
- W274753623 cites W1561578951 @default.
- W274753623 cites W1565996669 @default.
- W274753623 cites W1578345075 @default.
- W274753623 cites W1586167239 @default.
- W274753623 cites W1589690886 @default.
- W274753623 cites W1590828018 @default.
- W274753623 cites W1600228510 @default.
- W274753623 cites W1601418559 @default.
- W274753623 cites W1658016212 @default.
- W274753623 cites W1659048632 @default.
- W274753623 cites W1664582451 @default.
- W274753623 cites W171867237 @default.
- W274753623 cites W1735366290 @default.
- W274753623 cites W1819951499 @default.
- W274753623 cites W1829244603 @default.
- W274753623 cites W1851794350 @default.
- W274753623 cites W1870235599 @default.
- W274753623 cites W1878027524 @default.
- W274753623 cites W1887340924 @default.
- W274753623 cites W1976200187 @default.
- W274753623 cites W1979818150 @default.
- W274753623 cites W1980755903 @default.
- W274753623 cites W1980939032 @default.
- W274753623 cites W1991450942 @default.
- W274753623 cites W2001774285 @default.
- W274753623 cites W2005090804 @default.
- W274753623 cites W2005952505 @default.
- W274753623 cites W2010847060 @default.
- W274753623 cites W2011184850 @default.
- W274753623 cites W2015688007 @default.
- W274753623 cites W2015720094 @default.
- W274753623 cites W2028714117 @default.
- W274753623 cites W2030670832 @default.
- W274753623 cites W2042364919 @default.
- W274753623 cites W2063068243 @default.
- W274753623 cites W2081019971 @default.
- W274753623 cites W2087028873 @default.
- W274753623 cites W2096757332 @default.
- W274753623 cites W2099078002 @default.
- W274753623 cites W2100738443 @default.
- W274753623 cites W2105045857 @default.
- W274753623 cites W2113486906 @default.
- W274753623 cites W2113547509 @default.
- W274753623 cites W2117029917 @default.
- W274753623 cites W2118229393 @default.
- W274753623 cites W2128057448 @default.
- W274753623 cites W2130459259 @default.
- W274753623 cites W2137317612 @default.
- W274753623 cites W2145482038 @default.
- W274753623 cites W2149969760 @default.
- W274753623 cites W2154314267 @default.
- W274753623 cites W2154710621 @default.
- W274753623 cites W2161389420 @default.
- W274753623 cites W2163619482 @default.
- W274753623 cites W2164778826 @default.
- W274753623 cites W2164810907 @default.
- W274753623 cites W221950622 @default.
- W274753623 cites W2528273874 @default.
- W274753623 cites W2535018452 @default.
- W274753623 cites W2742270218 @default.
- W274753623 cites W2895656663 @default.
- W274753623 cites W3140324869 @default.
- W274753623 cites W3174846066 @default.
- W274753623 hasPublicationYear "2003" @default.
- W274753623 type Work @default.
- W274753623 sameAs 274753623 @default.
- W274753623 citedByCount "1" @default.
- W274753623 countsByYear W2747536232020 @default.
- W274753623 crossrefType "journal-article" @default.
- W274753623 hasAuthorship W274753623A5016058241 @default.
- W274753623 hasAuthorship W274753623A5062249962 @default.