Browse by Person
Up a level |
Number of items: 1.
Fuhs, Carsten (2019) Transforming derivational complexity of term rewriting to runtime complexity. In: Herzig, A. and Popescu, A. (eds.) Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings. Lecture Notes in Artificial Intelligence 11715. Springer. (In Press)