Seminarium „Logika i teoria typów”

Organizatorzy

• dr hab. Aleksy Schubert, prof. UW
• prof. dr hab. Paweł Urzyczyn

Informacje

Strona domowa

Dziedziny badań

• Logika w informatyce
• Teoria automatów

Lista referatów

• 29 listopada 2024 12:15
  Aleksy Schubert (MIMUW)
  Higher-order matching, transformations T1 and T2 and 4th order matching (Dopasowanie wyższego rzędu, transformacje T1 i T2 oraz dopasowanie czwartego rzędu)
  

  ---