Get to know the UdG
Read more

The university is 30 years old.Discover its past and present.Help build its future.

14 February 2017
Study
Read more

Find out about bachelor's degrees, postgraduate courses and all the educational courses offered by the UdG.

14 February 2017
Structure
Read more

Teaching is concentrated in the faculties and schools, and the departments deal with research, which is also conducted by institutes and chairs, at the same time responsible for knowledge promotion.

14 February 2017

Investigate

Study of foundations for automatic deduction first order logic with equality and in higher order logic.Rewriting systems

Groups of research linked

Logic and Artificial Intelligence Research Group (LAI)

Linked UNESCO codes

UNESCO code	Name
1102.05	Formal systems
1102.11	Theory of tests

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

Necessary

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.

Preferences

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

Analytics

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

Marketing

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.

Investigating is one of the pillars of the University: carrying the knowledge beyond, to transfer the knowledge.

Discover the campus, enjoy university life, take part in recreational activities.

Select a profile.Select a profile.Select a profile