G. Sivakumar

Available identifiers

zbMath Open sivakumar.g-dMaRDI QIDQ1891258

List of research outcomes

Publication	Date of Publication	Type
A total, ground path ordering for proving termination of AC-rewrite systems	2017-11-17	Paper
Maximal extensions of simplification orderings	2017-01-19	Paper
Algorithms for the design of a multi-stage adaptive kanban system	2010-11-07	Paper
Dynamic Policy Adaptation for Collaborative Groups	2010-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4503901	2000-09-14	Paper
A path ordering for proving termination of AC rewrite systems	1995-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q3976057	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3817652	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3817653	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819993	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3683533	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: G. Sivakumar