Basket

    1.
    0561005 - ÚI 2023 RIV AR eng C - Conference Paper (international conference)
    Cerna, David M.
    When First-order Unification Calls itself.
    Informal Proceedings of the 35th International Workshop on Unification (UNIF 2021). Buenos Aires, 2022 - (Baader, F.; Baumgartner, A.), s. 1-6
    [UNIF 2021: International Workshop on Unification /35./. Buenos Aires / Virtual (AR), 18.07.2022-18.07.2022]
    Institutional support: RVO:67985807
    Keywords : Unification theory * Induction * Termination
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://www.uoh.cl/unif-2021/assets/proceedings-UNIF2021.pdf
    Permanent Link: https://hdl.handle.net/11104/0333757
    FileDownloadSizeCommentaryVersionAccess
    0561005-aw.pdf2431.5 KBvolně onlinePublisher’s postprintrequire
     
     
  2. 2.def.record 'I2_TF_SHORT' not found in 'CavUnTablesd'

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all