No photo of Georg Ehling

View Scopus Profile

Georg Ehling

BSc MSc

  • 3 Conference proceedings
  • 1 Preprint

  • Graded Quantitative Narrowing

    Ayala-Rincón, M., de Lima, T. A., Ehling, G. & Kutsia, T., 2025, Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings. de Paiva, V. & Koepke, P. (eds.). Springer, p. 113-132 20 p. (Lecture Notes in Computer Science; vol. 16136).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

  • Solving Quantitative Equations

    Ehling, G. & Kutsia, T., 2024, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer, Vol. 14740. p. 381-400 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14740 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

    Open Access

  • Solving Quantitative Equations

    Ehling, G. & Kutsia, T., Apr 2024, Hagenberg, Linz: RISC, JKU, 23 p. (RISC Report Series, Johannes Kepler University Linz, Austria; no. 24-03).

    Research output: Working paper and reports › Preprint

  • Matching in Quantitative Equational Theories

    Ehling, G. & Kutsia, T., 2023, UNIF 2023 - 37th International Workshop on Unification. Veena Ravishankar and Christophe Ringeissen (ed.). 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

  • 4 Other talk or presentation
  • 2 Contributed talk
View all 6 activities