Using finite transducers for describing and synthesising structural time-series constraints (Q265697): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: SICStus / rank
 
Normal rank

Revision as of 18:54, 29 February 2024

scientific article
Language Label Description Also known as
English
Using finite transducers for describing and synthesising structural time-series constraints
scientific article

    Statements

    Using finite transducers for describing and synthesising structural time-series constraints (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    12 April 2016
    0 references
    global constraint
    0 references
    time series
    0 references
    global constraint catalogue
    0 references
    constraint synthesis
    0 references
    finite transducer
    0 references

    Identifiers