DOI

  • Ramil Bagaviev
  • Ilnur I. Batyrshin
  • Nikolay Bazhenov
  • Dmitry Bushtets
  • Marina Dorzhieva
  • Heer Tern Koh
  • Ruslan Kornev
  • Alexander G. Melnikov
  • Keng Meng Ng
Original languageEnglish
Article number103491
JournalAnnals of Pure and Applied Logic
Volume176
Issue number1
DOIs
Publication statusPublished - Jan 2025

    OECD FOS+WOS

  • 1.02.QL LOGIC
  • 1.01.PQ MATHEMATICS
  • 1.01.PN MATHEMATICS, APPLIED

ID: 62768678