Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedingsсборник

Статьи, опубликованные в сборнике

---

• 
  • 2018 A universal algebra for the variable-free fragment of RC∇
  • Beklemishev Lev D.
  • в сборнике Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings, серия Lecture Notes in Computer Science, место издания Springer Cham, том 10703, с. 91-106 DOI
  • редактор Артемов Сергей Николаевич
• 
  • 2018 Interpretations of Presburger Arithmetic in Itself
  • Zapryagaev Alexander, Pakhomov Fedor
  • в сборнике Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings, серия Lecture Notes in Computer Science, место издания Springer Cham, том 10703, с. 354-367 DOI
  • редактор Артемов Сергей Николаевич
• 
  • 2018 On the sharpness and the single-conclusion property of basic justification models
  • Krupski Vladimir N.
  • в сборнике Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings, серия Lecture Notes in Computer Science, место издания Springer Cham, том 10703, с. 211-220 DOI
  • редактор Артемов Сергей Николаевич