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
Gordeev, L
Statistics Math-Net.Ru
Total publications:
1
Scientific articles:
1
Number of views:
This page:
145
Abstract pages:
272
Full texts:
67
References:
52
E-mail:
email
https://www.mathnet.ru/eng/person43874
List of publications on Google Scholar
List of publications on ZentralBlatt
Publications in
Math-Net.Ru
Citations
2008
1.
L. Gordeev, E. H. Haeusler, V. G. da Costa, “Proof compressions with circuit-structured substitutions”,
Zap. Nauchn. Sem. POMI
,
358
(2008),
77–99
;
J. Math. Sci. (N. Y.)
,
158
:5 (2009),
645–658
6
Organisations
Wilhelm-Schickard-Institut für Informatik, Universität Tübingen
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024
Contact us: