Sökning: "Margus Veanes"

Hittade 1 avhandling innehållade orden Margus Veanes.

1. 1. On Simultaneous Rigid E-Unification

   Författare :Margus Veanes; Andrei Voronkov; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

   Sammanfattning : 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. LÄS MER