Research > Research at the UdG > Lines of research > Detail
Going to the contents (click in Intro)
UdG Home UdG Home
Close
Menu
Machine translation, text awaiting revision

Investiga

Línia de recerca: Deducció automàtica

Estudi de fonaments per a la deducció automàtica en lògica de primer ordre amb igualtat i en lògica d'ordre superior. Sistemes de reescriptura.

Codis UNESCO vinculats

Codi UNESCO Nom
1102.05 Sistemes formals
1102.11 Teoria de proves

Choose which types of cookies you accept which the University of Girona can store in your browser.

Those that are essential for enabling your connection. There is no option for disabling them, as they are necessary for the functioning of the website.

These enable your options to be remembered (for example language or region you are accessing from), to provide you with advanced services.

They provide statistical information and enable improved services. We use Google Analytics cookies which you can deactivate by installing this plugin.

To offer advertising contents relating to the interests of users, either directly, or through third parties (“adservers”). These must be activated if you wish to see the YouTube videos uploaded to the University of Girona’s website.

The University of Girona website uses its own and third-party cookies for technical and analytical purposes. To manage them use the manager. If you would like further information, please access our Cookies Policy.