Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by R.S. Shevchenko
Context Term Calculus for Rewriting Systems
PROBLEMS IN PROGRAMMING
Issues of Differential Diagnosis of Pleural Effusions
Shidnoevropejskij zurnal vnutrisnoi ta simejnoi medicini
Related publications
Confluence of Curried Term-Rewriting Systems
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Hardware Synthesis From Term Rewriting Systems
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
The Rewriting Calculus - Part II
Logic Journal of the IGPL
Philosophy
Regularity and Context-Freeness Over Word Rewriting Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Transfinite Reductions in Orthogonal Term Rewriting Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Term Rewriting With Prefix Context Constraints and Bottom-Up Strategies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Simplification Orders for Term Graph Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Preliminaries of Bigraphical Calculus for Context-Awareness
DEStech Transactions on Computer Science and Engineering
