WG211/M26Kammar

From WG 2.11
Revision as of 07:52, 13 October 2026 by Ohad (talk | contribs) (Created page with "'''Modular construction of sound-and-complete simplifiers for varieties of semi-rings''' ''Ohad Kammar'', joint work with ''Amaury Mazoyer''")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Modular construction of sound-and-complete simplifiers for varieties of semi-rings

Ohad Kammar, joint work with Amaury Mazoyer

Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M26Kammar&oldid=2926"