On probabilistic term rewriting

Autor: Avanzini, Martin, Dal Lago, Ugo, Yamada, Akihisa
Zdroj: In Science of Computer Programming 1 January 2020 185
Databáze: ScienceDirect