Author:Martin Hofmann
Keyphrasesconstraint satisfaction2, infinite lists, infinite trees, linear arithmetic, linear inequalities, pushdown automata, regular languages, Resource Analysis, resource types, word combinatorics. |
| ||||
| ||||
| Copyright © 2012-2024 easychair.org. All rights reserved. |