G. Sivakumar

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A total, ground path ordering for proving termination of AC-rewrite systems
Rewriting Techniques and Applications
2017-11-17Paper
Maximal extensions of simplification orderings
Lecture Notes in Computer Science
2017-01-19Paper
Algorithms for the design of a multi-stage adaptive kanban system
International Journal of Production Research
2010-11-07Paper
Dynamic policy adaptation for collaborative groups
Recent Trends in Network Security and Applications
2010-10-28Paper
scientific article; zbMATH DE number 1507181 (Why is no real title available?)2000-09-14Paper
A path ordering for proving termination of AC rewrite systems
Journal of Automated Reasoning
1995-05-30Paper
scientific article; zbMATH DE number 18651 (Why is no real title available?)1992-06-26Paper
scientific article; zbMATH DE number 4090848 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4092758 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4090847 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 3905845 (Why is no real title available?)1985-01-01Paper


Research outcomes over time


This page was built for person: G. Sivakumar