Iterative methods of program analysis: Equalities and inequalities

Saved in:
Bibliographic Details
Published in:Cybernetics 1990-05, Vol.26 (3), p.307-318
Main Authors: Godlevskii, A. B., Kapitonova, Yu. V., Krivoi, S. L., Letichevskii, A. A.
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c231t-62f573a6605a3a6670b9ba8cbce74efec366f1c49194ffc3bb9df4afe22ff6523
cites cdi_FETCH-LOGICAL-c231t-62f573a6605a3a6670b9ba8cbce74efec366f1c49194ffc3bb9df4afe22ff6523
container_end_page 318
container_issue 3
container_start_page 307
container_title Cybernetics
container_volume 26
creator Godlevskii, A. B.
Kapitonova, Yu. V.
Krivoi, S. L.
Letichevskii, A. A.
description
doi_str_mv 10.1007/BF01082683
format article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_1007_BF01082683</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1007_BF01082683</sourcerecordid><originalsourceid>FETCH-LOGICAL-c231t-62f573a6605a3a6670b9ba8cbce74efec366f1c49194ffc3bb9df4afe22ff6523</originalsourceid><addsrcrecordid>eNpFj8FKw0AURQdRsFY3fsGsheibeclM4s6WthYKbnQdJpP3dCRp6kwU-ve2KLo6cBaXe4S4VnCrAOzdbAkKSm1KPBETVVjMSkR7KiYASmW5xuJcXKT0DgAItpyI2Xqk6MbwRbKn8W1okxxY7uLwGl0v3dZ1-xTSvVx8fLoujIHSQbYybOlPXIozdl2iq19Oxcty8Tx_zDZPq_X8YZN5jWrMjObDH2cMFO4IC03VuNI3nmxOTB6NYeXzSlU5s8emqVrOHZPWzKbQOBU3P7s-DilF4noXQ-_ivlZQH-vr_3r8BuN9TY8</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Iterative methods of program analysis: Equalities and inequalities</title><source>Springer LINK Archives</source><creator>Godlevskii, A. B. ; Kapitonova, Yu. V. ; Krivoi, S. L. ; Letichevskii, A. A.</creator><creatorcontrib>Godlevskii, A. B. ; Kapitonova, Yu. V. ; Krivoi, S. L. ; Letichevskii, A. A.</creatorcontrib><identifier>ISSN: 0011-4235</identifier><identifier>EISSN: 1573-8337</identifier><identifier>DOI: 10.1007/BF01082683</identifier><language>eng</language><ispartof>Cybernetics, 1990-05, Vol.26 (3), p.307-318</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c231t-62f573a6605a3a6670b9ba8cbce74efec366f1c49194ffc3bb9df4afe22ff6523</citedby><cites>FETCH-LOGICAL-c231t-62f573a6605a3a6670b9ba8cbce74efec366f1c49194ffc3bb9df4afe22ff6523</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27903,27904</link.rule.ids></links><search><creatorcontrib>Godlevskii, A. B.</creatorcontrib><creatorcontrib>Kapitonova, Yu. V.</creatorcontrib><creatorcontrib>Krivoi, S. L.</creatorcontrib><creatorcontrib>Letichevskii, A. A.</creatorcontrib><title>Iterative methods of program analysis: Equalities and inequalities</title><title>Cybernetics</title><issn>0011-4235</issn><issn>1573-8337</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1990</creationdate><recordtype>article</recordtype><recordid>eNpFj8FKw0AURQdRsFY3fsGsheibeclM4s6WthYKbnQdJpP3dCRp6kwU-ve2KLo6cBaXe4S4VnCrAOzdbAkKSm1KPBETVVjMSkR7KiYASmW5xuJcXKT0DgAItpyI2Xqk6MbwRbKn8W1okxxY7uLwGl0v3dZ1-xTSvVx8fLoujIHSQbYybOlPXIozdl2iq19Oxcty8Tx_zDZPq_X8YZN5jWrMjObDH2cMFO4IC03VuNI3nmxOTB6NYeXzSlU5s8emqVrOHZPWzKbQOBU3P7s-DilF4noXQ-_ivlZQH-vr_3r8BuN9TY8</recordid><startdate>19900501</startdate><enddate>19900501</enddate><creator>Godlevskii, A. B.</creator><creator>Kapitonova, Yu. V.</creator><creator>Krivoi, S. L.</creator><creator>Letichevskii, A. A.</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>19900501</creationdate><title>Iterative methods of program analysis: Equalities and inequalities</title><author>Godlevskii, A. B. ; Kapitonova, Yu. V. ; Krivoi, S. L. ; Letichevskii, A. A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c231t-62f573a6605a3a6670b9ba8cbce74efec366f1c49194ffc3bb9df4afe22ff6523</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1990</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Godlevskii, A. B.</creatorcontrib><creatorcontrib>Kapitonova, Yu. V.</creatorcontrib><creatorcontrib>Krivoi, S. L.</creatorcontrib><creatorcontrib>Letichevskii, A. A.</creatorcontrib><collection>CrossRef</collection><jtitle>Cybernetics</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Godlevskii, A. B.</au><au>Kapitonova, Yu. V.</au><au>Krivoi, S. L.</au><au>Letichevskii, A. A.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Iterative methods of program analysis: Equalities and inequalities</atitle><jtitle>Cybernetics</jtitle><date>1990-05-01</date><risdate>1990</risdate><volume>26</volume><issue>3</issue><spage>307</spage><epage>318</epage><pages>307-318</pages><issn>0011-4235</issn><eissn>1573-8337</eissn><doi>10.1007/BF01082683</doi><tpages>12</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0011-4235
ispartof Cybernetics, 1990-05, Vol.26 (3), p.307-318
issn 0011-4235
1573-8337
language eng
recordid cdi_crossref_primary_10_1007_BF01082683
source Springer LINK Archives
title Iterative methods of program analysis: Equalities and inequalities
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-23T00%3A29%3A01IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Iterative%20methods%20of%20program%20analysis:%20Equalities%20and%20inequalities&rft.jtitle=Cybernetics&rft.au=Godlevskii,%20A.%20B.&rft.date=1990-05-01&rft.volume=26&rft.issue=3&rft.spage=307&rft.epage=318&rft.pages=307-318&rft.issn=0011-4235&rft.eissn=1573-8337&rft_id=info:doi/10.1007/BF01082683&rft_dat=%3Ccrossref%3E10_1007_BF01082683%3C/crossref%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c231t-62f573a6605a3a6670b9ba8cbce74efec366f1c49194ffc3bb9df4afe22ff6523%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true