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 × Czech Republic
1 × Poland
1 × Spain
1 × United Kingdom
4 × USA
Collaborated with:
Talks about:
theori (3) system (3) rewrit (3) arithmet (2) complex (2) decid (2) bound (2) noetherian (1) elementari (1) nonrecurs (1)

Person: Sergei G. Vorobyov

DBLP DBLP: Vorobyov:Sergei_G=

Contributed to:

CSL 19981998
PODS 19981998
LICS 19971997
RTA 19971997
CADE 19961996
POPL 19951995
RTA 19891989
LICS 19881988

Wrote 8 papers:

CSL-1998-Vorobyov #functional #type system
Subtyping Functional+Nonempty Record Types (SGV), pp. 283–297.
PODS-1998-VorobyovV #complexity #logic programming #recursion #source code
Complexity of Nonrecursive Logic Programs with Complex Values (SGV, AV), pp. 244–253.
LICS-1997-Vorobyov #decidability
The “Hardest” Natural Decidable Theory (SGV), pp. 294–305.
RTA-1997-Vorobyov #decidability #first-order #linear
The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable (SGV), pp. 254–268.
CADE-1996-Vorobyov #bound
An Improved Lower Bound for the Elementary Theories of Trees (SGV), pp. 275–287.
POPL-1995-Vorobyov #bound #decidability #quantifier
Structural Decidable Extensions of Bounded Quantification (SGV), pp. 164–175.
RTA-1989-Vorobyov #induction
Conditional Rewrite Rule Systems with Built-In Arithmetic and Induction (SGV), pp. 492–512.
LICS-1988-Vorobyov #on the #term rewriting
On the Arithmetic Inexpressiveness of Term Rewriting Systems (SGV), pp. 212–217.

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.