Additive cellular automata graded-monadically
autor
Capobianco, Silvio
Uustalu, Tarmo
allikas
PPDP '23 : proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming
kirjastus/väljaandja
ACM
ilmumisaasta
2023
leheküljed
art. 13, 9 p
seeria-sari
ACM International Conference Proceeding Series
konverentsi nimetus, aeg
the 25th International Symposium on Principles and Practice of Declarative Programming, 22-23 October 2023
konverentsi toimumispaik
Cascais, Lisbon, Portugal
leitav
https://doi.org/10.1145/3610612
märksõna
teooriad
arvutamine
matemaatilised mudelid
arvutisüsteemid
võtmesõna
Theory of computation
Categorical semantics
Models of computation
Computer systems organization
ISBN
979-8-4007-0812-1
märkused
Bibliogr.: 29 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise