Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Choffrut, Ch

Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:2304
Abstract pages:141
Full texts:37
References:40
E-mail:

https://www.mathnet.ru/eng/person43877
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2008
1. S. Grigorieff, Ch. Choffrut, “The decision problem for some logics for finite words on infinite alphabets”, Zap. Nauchn. Sem. POMI, 358 (2008),  100–119  mathnet  elib; J. Math. Sci. (N. Y.), 158:5 (2009), 659–670  scopus

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024