G. Sivakumar

From MaRDI portal
Person:1891258

Available identifiers

zbMath Open sivakumar.g-dMaRDI QIDQ1891258

List of research outcomes





PublicationDate of PublicationType
A total, ground path ordering for proving termination of AC-rewrite systems2017-11-17Paper
Maximal extensions of simplification orderings2017-01-19Paper
Algorithms for the design of a multi-stage adaptive kanban system2010-11-07Paper
Dynamic policy adaptation for collaborative groups2010-10-28Paper
https://portal.mardi4nfdi.de/entity/Q45039012000-09-14Paper
A path ordering for proving termination of AC rewrite systems1995-05-30Paper
https://portal.mardi4nfdi.de/entity/Q39760571992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q38176531988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38199931988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38176521988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36835331985-01-01Paper

Research outcomes over time

This page was built for person: G. Sivakumar

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1891258&oldid=6478955"
Powered by MediaWiki