Polynomial-time inverse computation for accumulative functions with multiple data traversals (Q526439): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68N30 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68N18 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68Q45 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6715300 / rank
 
Normal rank
Property / zbMATH Keywords
 
program inversion
Property / zbMATH Keywords: program inversion / rank
 
Normal rank
Property / zbMATH Keywords
 
inverse computation
Property / zbMATH Keywords: inverse computation / rank
 
Normal rank
Property / zbMATH Keywords
 
program transformation
Property / zbMATH Keywords: program transformation / rank
 
Normal rank
Property / zbMATH Keywords
 
functional programming
Property / zbMATH Keywords: functional programming / rank
 
Normal rank
Property / zbMATH Keywords
 
tree automata
Property / zbMATH Keywords: tree automata / rank
 
Normal rank
Property / zbMATH Keywords
 
tree transducers
Property / zbMATH Keywords: tree transducers / rank
 
Normal rank

Revision as of 06:44, 1 July 2023

scientific article
Language Label Description Also known as
English
Polynomial-time inverse computation for accumulative functions with multiple data traversals
scientific article

    Statements

    Polynomial-time inverse computation for accumulative functions with multiple data traversals (English)
    0 references
    0 references
    0 references
    0 references
    15 May 2017
    0 references
    program inversion
    0 references
    inverse computation
    0 references
    program transformation
    0 references
    functional programming
    0 references
    tree automata
    0 references
    tree transducers
    0 references

    Identifiers