A Circuit-Theoretic View of rmFO over Semirings.
Timon Barlag, Nicolas Frhlich, Teemu Hankala, Miika Juhani Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
Browse the full WoLLIC paper archive.
Timon Barlag, Nicolas Frhlich, Teemu Hankala, Miika Juhani Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
Browse the full WoLLIC paper archive.