Some open questions in the theory of program schemes and dynamic logics

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Russian mathematical surveys 1989-02, Vol.44 (1), p.43-68
Hauptverfasser:	Kfoury, A J, Stolboushkin, A P, Urzyczyn, P
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	68
container_issue	1
container_start_page	43
container_title	Russian mathematical surveys
container_volume	44
creator	Kfoury, A J Stolboushkin, A P Urzyczyn, P
description
doi_str_mv	10.1070/RM1989v044n01ABEH002007
format	Article
fullrecord	<record><control><sourceid>iop_cross</sourceid><recordid>TN_cdi_crossref_primary_10_1070_RM1989v044n01ABEH002007</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1070_RM1989v044n01ABEH002007</sourcerecordid><originalsourceid>FETCH-LOGICAL-c332t-cad43fdef45c4141e162dcfe348fa38a00c7952ed65b8434ce95e6ea550e3d603</originalsourceid><addsrcrecordid>eNqV0L1OwzAUhmELgUQpXANeGQLHP3GcsVSlRSpCKjBbxj5ug5o42AWpdw9R2RADw9GZ3m94CLlkcM2ggpvVA6t1_QlSdsAmt7MFAAeojsiISaULqXl9TEYAQhXAq_qUnOX8BsCUFnxE5k-xRRp77Oj7B-ZdE7tMm47uNjhcTHsaA-1TXCfb0uw22GKmtvPU7zvbNo5u47px-ZycBLvNePHzx-TlbvY8XRTLx_n9dLIsnBB8VzjrpQgegyydZJIhU9y7gELqYIW2AK6qS45ela9aCumwLlGhLUtA4RWIMakOuy7FnBMG06emtWlvGJjBw_zh8V3yQ9nE_h_R1e9osDSDpZHSMLMCYXofxBclFnEI</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Some open questions in the theory of program schemes and dynamic logics</title><source>Institute of Physics Journals</source><source>Alma/SFX Local Collection</source><creator>Kfoury, A J ; Stolboushkin, A P ; Urzyczyn, P</creator><creatorcontrib>Kfoury, A J ; Stolboushkin, A P ; Urzyczyn, P</creatorcontrib><identifier>ISSN: 0036-0279</identifier><identifier>EISSN: 1468-4829</identifier><identifier>DOI: 10.1070/RM1989v044n01ABEH002007</identifier><language>eng</language><publisher>IOP Publishing</publisher><ispartof>Russian mathematical surveys, 1989-02, Vol.44 (1), p.43-68</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c332t-cad43fdef45c4141e162dcfe348fa38a00c7952ed65b8434ce95e6ea550e3d603</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://iopscience.iop.org/article/10.1070/RM1989v044n01ABEH002007/pdf$$EPDF$$P50$$Giop$$H</linktopdf><link.rule.ids>314,780,784,27924,27925,53830,53910</link.rule.ids></links><search><creatorcontrib>Kfoury, A J</creatorcontrib><creatorcontrib>Stolboushkin, A P</creatorcontrib><creatorcontrib>Urzyczyn, P</creatorcontrib><title>Some open questions in the theory of program schemes and dynamic logics</title><title>Russian mathematical surveys</title><issn>0036-0279</issn><issn>1468-4829</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1989</creationdate><recordtype>article</recordtype><recordid>eNqV0L1OwzAUhmELgUQpXANeGQLHP3GcsVSlRSpCKjBbxj5ug5o42AWpdw9R2RADw9GZ3m94CLlkcM2ggpvVA6t1_QlSdsAmt7MFAAeojsiISaULqXl9TEYAQhXAq_qUnOX8BsCUFnxE5k-xRRp77Oj7B-ZdE7tMm47uNjhcTHsaA-1TXCfb0uw22GKmtvPU7zvbNo5u47px-ZycBLvNePHzx-TlbvY8XRTLx_n9dLIsnBB8VzjrpQgegyydZJIhU9y7gELqYIW2AK6qS45ela9aCumwLlGhLUtA4RWIMakOuy7FnBMG06emtWlvGJjBw_zh8V3yQ9nE_h_R1e9osDSDpZHSMLMCYXofxBclFnEI</recordid><startdate>19890228</startdate><enddate>19890228</enddate><creator>Kfoury, A J</creator><creator>Stolboushkin, A P</creator><creator>Urzyczyn, P</creator><general>IOP Publishing</general><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>19890228</creationdate><title>Some open questions in the theory of program schemes and dynamic logics</title><author>Kfoury, A J ; Stolboushkin, A P ; Urzyczyn, P</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c332t-cad43fdef45c4141e162dcfe348fa38a00c7952ed65b8434ce95e6ea550e3d603</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1989</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Kfoury, A J</creatorcontrib><creatorcontrib>Stolboushkin, A P</creatorcontrib><creatorcontrib>Urzyczyn, P</creatorcontrib><collection>CrossRef</collection><jtitle>Russian mathematical surveys</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Kfoury, A J</au><au>Stolboushkin, A P</au><au>Urzyczyn, P</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Some open questions in the theory of program schemes and dynamic logics</atitle><jtitle>Russian mathematical surveys</jtitle><date>1989-02-28</date><risdate>1989</risdate><volume>44</volume><issue>1</issue><spage>43</spage><epage>68</epage><pages>43-68</pages><issn>0036-0279</issn><eissn>1468-4829</eissn><pub>IOP Publishing</pub><doi>10.1070/RM1989v044n01ABEH002007</doi><tpages>26</tpages></addata></record>
fulltext	fulltext
identifier	ISSN: 0036-0279
ispartof	Russian mathematical surveys, 1989-02, Vol.44 (1), p.43-68
issn	0036-0279 1468-4829
language	eng
recordid	cdi_crossref_primary_10_1070_RM1989v044n01ABEH002007
source	Institute of Physics Journals; Alma/SFX Local Collection
title	Some open questions in the theory of program schemes and dynamic logics
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-23T00%3A44%3A17IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-iop_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Some%20open%20questions%20in%20the%20theory%20of%20program%20schemes%20and%20dynamic%20logics&rft.jtitle=Russian%20mathematical%20surveys&rft.au=Kfoury,%20A%20J&rft.date=1989-02-28&rft.volume=44&rft.issue=1&rft.spage=43&rft.epage=68&rft.pages=43-68&rft.issn=0036-0279&rft.eissn=1468-4829&rft_id=info:doi/10.1070/RM1989v044n01ABEH002007&rft_dat=%3Ciop_cross%3E10_1070_RM1989v044n01ABEH002007%3C/iop_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true