Items where Author is " Koprowski Adam"

Group by: Item Type | No Grouping

Number of items: 1.

Article

Koprowski Adam and Waldmann Johannes: Max/plus tree automata for termination of term rewriting. In: Acta cybernetica, (19) 2. pp. 357-392. (2009)

This list was generated on 2024. szeptember 12. 18:51:00 CEST.

Technical information: contenta AT ek.szte.hu
Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.