On some classes of structures axiomatizable by dual Horn formulas

  • Guillermo Badia Hernandez (Speaker)

Activity: Talk or presentation › Contributed talk › science-to-science

Period16 Jun 2017
Event titleArbeitstagung Allgemeine Algebra 94
Event typeConference
LocationSerbiaShow on map

Fields of science

  • 101013 Mathematical logic
  • 101024 Probability theory
  • 202027 Mechatronics
  • 102019 Machine learning
  • 603109 Logic
  • 101 Mathematics
  • 102001 Artificial intelligence
  • 102003 Image processing

JKU Focus areas

  • Computation in Informatics and Mathematics
  • Nano-, Bio- and Polymer-Systems: From Structure to Function
  • Mechatronics and Information Processing