Filters








5 Hits in 3.8 sec

Dijkstra-Scholten predicate calculus: concepts and misconceptions

Lex Bijlsma, Rob Nederpelt
<span title="1998-12-01">1998</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cnqseeosvrf6tnj6sc3lbn2y4e" style="color: black;">Acta Informatica</a> </i> &nbsp;
We call this the Dijkstra-Scholten (DS) predicate calculus, since [DS90] is the first place in which it is described.  ...  in the Dijkstra-Scholten style.  ...  Acknowledgements We like to thank the Eindhoven Tuesday Afternoon Club, Herman Geuvers and Twan Laan for their precise reading of the first part of this paper and for their comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s002360050150">doi:10.1007/s002360050150</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cxykslusmnabrfel5eyrj6ouxi">fatcat:cxykslusmnabrfel5eyrj6ouxi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160222045000/http://www.open.ou.nl:80/lby/ab56.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b4/5e/b45e2ace93fa88aa1329e078777f9862270e94c5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s002360050150"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 1440 of Mathematical Reviews Vol. , Issue 2000b [page]

<span title="">2000</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
Biryukov (RS-KEME-A; Kemerovo) 2000b:68140 68Q55 03B70 68Q60 Bijlsma, Lex (NL-EIND; Eindhoven); Nederpelt, Rob (NL-EIND; Eindhoven) Dijkstra-Scholten predicate calculus: concepts and misconceptions.  ...  This paper sets out the logical foundations of the Dijkstra- Scholten program development method, a special form of predicate-calculus-based program logic introduced to make the job of proving program  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2000-02_2000b/page/1440" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2000-02_2000b/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 96 of Mathematical Reviews Vol. 32, Issue Index [page]

<i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
(English summary) 2000b:68144 Bijlsma, Lex (with Nederpelt, Rob) Dijkstra-Scholten predicate calculus: concepts and misconceptions. (English summary) 2000b:68140 Blanc, G. (with Liogier, K.)  ...  English and Chinese summaries) Dai, Honghua Extended predicate logic and its application in designing MKL language.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2000_32_index_1/page/96" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2000_32_index_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 1868 of Mathematical Reviews Vol. 32, Issue Index [page]

<i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
(English summary) 2000m:68084 Bijlsma, Lex (with Nederpelt, Rob) Dijkstra-Scholten predicate calculus: concepts and misconceptions.  ...  (English summary) 2000b:68116 — (with Gelsema, Tjalling) Multisets and structural congruence of the pi-calculus with replication.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2000_32_index_2/page/1868" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2000_32_index_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 1342 of Mathematical Reviews Vol. 32, Issue Index [page]

<i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
(Summary) 2000f:68116 68T50 (68Q25, 68Q45) Nederpelt, Rob (with Bijlsma, Lex) Dijkstra-Scholten predicate calculus: concepts and misconceptions.  ...  On the existence and uniqueness of flows [of] multipolar fluids of grade 3 and their stability. (English summary) /nternat. J. Engrg. Sci. 37 (1999), no. 1, 75-96.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2000_32_index_0/page/1342" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2000_32_index_0/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>