Search for dissertations about: "Margus Veanes"
Found 1 swedish dissertation containing the words Margus Veanes.
-
1. On Simultaneous Rigid E-Unification
Abstract : Automated theorem proving methods in classical logic with equality that are based on the Herbrand theorem, reduce to a problem called Simultaneous Rigid E-Unification, or SREU for short. Recent developments show that SREU has also close connections with intuitionistic logic with equality, second-order unification, some combinatorial problems and finite tree automata. READ MORE
Result pages:
1