A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/ab5/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMzA0Mzk3NTc5OTAwMzc5.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
On some decidability problems for HDOL systems with nonsingular Parikh matrices
<span title="">1979</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a>
</i>
Preserved Fulltext
The problem of decidability of ultimate equivalence, emptiness of intersection and finiteness of intersection, for HDOL sequences the generating morphisms of which have nonsingular Parikh matrices is investigated. The Grst and the third of these decidability problems are shown to be closely connected with the equivalence problem for these sequences. In certain special cases the problems are proved to be solvable. A connection between the problem of effective findability of zeros in Z-rational
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(79)90037-9">doi:10.1016/0304-3975(79)90037-9</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bypis4wz6rairl4bcc5hzm4zfq">fatcat:bypis4wz6rairl4bcc5hzm4zfq</a>
</span>
more »
... quences and the above problems is established (cf. [lo]).
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171001220526/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/ab5/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMzA0Mzk3NTc5OTAwMzc5.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/c0/d9/c0d9cff06df27f5fede00fa9f33d17fb5875d305.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(79)90037-9">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>