Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
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:
email
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
;
J. Math. Sci. (N. Y.)
,
158
:5 (2009),
659–670
Organisations
Laboratoire d'Informatique Algorithmique: Fondements et Applications, Paris VII – Denis Diderot
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024