Playing with Repetitions in Data Words Using Energy Games (Q3300789): Difference between revisions

From MaRDI portal
Page on [mardi] deleted: Publication:3300789
Merged Item from Q5145315
 
label / enlabel / en
 
Playing with Repetitions in Data Words Using Energy Games
description / endescription / en
 
scientific article; zbMATH DE number 7298765
Property / zbMATH Open document ID
 
Property / zbMATH Open document ID: 1452.91011 / rank
 
Normal rank
Property / publication date
 
20 January 2021
Timestamp+2021-01-20T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / publication date: 20 January 2021 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 7298765 / rank
 
Normal rank
Property / title
 
Playing with Repetitions in Data Words Using Energy Games (English)
Property / title: Playing with Repetitions in Data Words Using Energy Games (English) / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1145/3209108.3209154 / rank
 
Normal rank
Property / published in
 
Property / published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2962707881 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:14, 6 May 2024

scientific article; zbMATH DE number 7298765
Language Label Description Also known as
English
Playing with Repetitions in Data Words Using Energy Games
scientific article; zbMATH DE number 7298765

    Statements

    0 references
    0 references
    0 references
    0 references
    0 references
    30 July 2020
    0 references
    20 January 2021
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    data words
    0 references
    logic of repeating values
    0 references
    two-player games
    0 references
    0 references
    Playing with Repetitions in Data Words Using Energy Games (English)
    0 references
    0 references