Additive cellular automata graded-monadically
author
Capobianco, Silvio
Uustalu, Tarmo
source
PPDP '23 : proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming
publisher
ACM
year of publication
2023
pages
art. 13, 9 p
series
ACM International Conference Proceeding Series
conference name, date
the 25th International Symposium on Principles and Practice of Declarative Programming, 22-23 October 2023
conference location
Cascais, Lisbon, Portugal
url
https://doi.org/10.1145/3610612
subject term
teooriad
arvutamine
matemaatilised mudelid
arvutisüsteemid
keyword
Theory of computation
Categorical semantics
Models of computation
Computer systems organization
ISBN
979-8-4007-0812-1
notes
Bibliogr.: 29 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise