BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Czech Republic
1 × Germany
1 × Italy
1 × Latvia
Collaborated with:
Y.Nekrich F.Bertault M.Rusinowitch L.Noé M.A.Roytberg
Talks about:
system (2) rewrit (2) reduc (2) relationship (1) automaton (1) algorithm (1) constant (1) automata (1) alphabet (1) variabl (1)

Person: Gregory Kucherov

DBLP DBLP: Kucherov:Gregory

Contributed to:

ICALP (1) 20132013
CIAA 20072007
WIA 19971997
SAC 19941994
RTA 19911991
ALP 19881988

Wrote 6 papers:

ICALP-v1-2013-KucherovN #constant #realtime
Full-Fledged Real-Time Indexing for Constant Size Alphabets (GK, YN), pp. 650–660.
CIAA-2007-KucherovNR #automaton #set
Subset Seed Automaton (GK, LN, MAR), pp. 180–191.
WIA-1997-BertaultK #automaton #using #visualisation
Visualization of Dynamic Automata Using Padnon (FB, GK), pp. 25–28.
SAC-1994-KucherovR #on the #problem #term rewriting #word
On ground reducibility problem for word rewriting systems with variables (GK, MR), pp. 271–276.
RTA-1991-Kucherov #on the #term rewriting
On Relationship Between Term Rewriting Systems and Regular Tree Languages (GK), pp. 299–311.
ALP-1988-Kucherov #algorithm #induction #proving #testing
A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction (GK), pp. 204–213.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.