অনুসন্ধান ফলাফলগুলি - Tim S. Lyon

  • প্রদর্শন 1 - 2 ফলাফল এর 2
ফলাফল পরিমার্জন করুন
তালিকা   গ্রিড  
  1. 1

    Decidability of Querying First-Order Theories via Countermodels of Finite Width অনুযায়ী Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph

    প্রকাশিত 2025-04-01
    সম্পূর্ণ পাঠ পাওয়ার জন্য
    Artigo
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  2. 2

    Internal and External Calculi: Ordering the Jungle without Being Lost in Translations অনুযায়ী Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake

    প্রকাশিত 2025-06-01
    সম্পূর্ণ পাঠ পাওয়ার জন্য
    Artigo
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:

অনুসন্ধান সাধনীগুলি: