Browse by Person

Group by: Item Type | Date | Journal or Publication Title | No Grouping

Number of items: 1.

Naaf, M. and Frohn, F. and Brockschmidt, M. and Fuhs, Carsten and Giesl, J. (2017) Complexity analysis for term rewriting by integer transition systems. In: Dixon, C. and Finger, M. (eds.) Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Lecture Notes in Artificial Intelligence 10483. Springer. ISBN 9783319661667.

This list was generated on Tue Nov 26 05:36:08 2024 GMT.

Export as	Atom RSS