Countdown games, and simulation on (succinct) one-counter nets

DOI10.46298/lmcs-19(1:11)2023OpenAlexW4320723516MaRDI QIDQ5883735

Could not fetch data.

Publication date: 22 March 2023

Published in: (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2008.11753v6

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.