D'Costa, J., Karimov, T., Majumdar, R., Ouaknine, J., Salamati, M., Soudjani, S., & Worrell, J. (2021). The pseudo-Skolem Problem is decidable. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)D'Costa, J., T. Karimov, R. Majumdar, J. Ouaknine, M. Salamati, S. Soudjani, ба J. Worrell. The Pseudo-Skolem Problem Is Decidable. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
MLA -ийн эшлэл (9 дэх хэвлэлт)D'Costa, J., et al. The Pseudo-Skolem Problem Is Decidable. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.