Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive
    • IWC - International Workshop on Confluence
Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive
    • IWC - International Workshop on Confluence
  1. You are here:  
  2. Home
  3. Research
  4. Publications
  5. Publications 2021
  6. Disambiguating Symbolic Expressions in Informal Documents

Disambiguating Symbolic Expressions in Informal Documents

Dennis Müller and Cezary Kaliszyk
International Conference on Learning Representations (ICLR), pp. 16, 2021

pdf icon pdf

Details
Category: Publications 2021
Read Time: 1 min
Published: 28 April 2025
Share it:
Next article: A Verified Decision Procedure for the First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems Next
Contact
  • +43 512 507 53229
  • Technikerstraße 21a
  • A-6020 Innsbruck
UIBK Quick Links
  • Department of Computer Science
  • LFU:Online Courses
  • OLAT
  • UIBK Webconference (BBB)
  • UIBK FileShare (Synch & Share)
  • UIBK GitLab

© 2026 Computational Logic

  • Privacy
  • Terms of Use
  • Policy
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive
    • IWC - International Workshop on Confluence