Meta-MeTTa: an operational semantics for MeTTa

التفاصيل البيبلوغرافية
العنوان: Meta-MeTTa: an operational semantics for MeTTa
المؤلفون: Meredith, Lucius Gregory, Goertzel, Ben, Warrell, Jonathan, Vandervorst, Adam
سنة النشر: 2023
المجموعة: Computer Science
مصطلحات موضوعية: Computer Science - Logic in Computer Science
الوصف: We present an operational semantics for the language MeTTa.
نوع الوثيقة: Working Paper
الوصول الحر: http://arxiv.org/abs/2305.17218Test
رقم الانضمام: edsarx.2305.17218
قاعدة البيانات: arXiv