Home
  • About
    • Journal
    • Editorial
    • ISSN
  • Series
    • Computer Science
    • Mathematical Modeling in Geophysics
    • Numerical Analysis
    • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
  • Search
  • Authors
  • Submission
  • Contacts
Menu

Search of articles

Yi K.

Search

K. Yi
E-mail
  • kwang@ropas.kaist.ac.kr
List of Articles:
Shilov N. Yi K. Model checking puzzles in μ-Calculus // Computer Science. — 2000 . — # 13.  — P. 67-75
© 2015 - 2025 Ershov IIS SB RAS, ICM&MG SB RAS
Registration Сertificate ЭЛ № ФС 77 – 68696
  • About
    • Journal
    • Editorial
    • ISSN
  • Series
    • Computer Science
    • Mathematical Modeling in Geophysics
    • Numerical Analysis
    • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
  • Search
  • Authors
  • Submission
  • Contacts