Simple section interchange and properties of non-computable functions (Q988200): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.scico.2010.05.001 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1977936466 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4048580 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic translation of FORTRAN programs to vector form / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Shared Memory Computer Display System / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3247126 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5582341 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3949940 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Theory of Computer Instructions / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of computer instructions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partially defined computer instructions and guards / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simple section interchange and properties of non-computable functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4855368 / rank
 
Normal rank

Latest revision as of 03:36, 3 July 2024

scientific article
Language Label Description Also known as
English
Simple section interchange and properties of non-computable functions
scientific article

    Statements

    Simple section interchange and properties of non-computable functions (English)
    0 references
    26 August 2010
    0 references
    0 references
    instruction theory
    0 references
    non-computable functions
    0 references
    formal methods
    0 references
    partially defined instructions
    0 references
    0 references