G. Sivakumar

From MaRDI portal
(Redirected from Person:1891258)



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