Rewriting Techniques and Applications: 15th International Conference, RTA 2004,
75,39 €
Monadic Second-Order Unification Is NP-Complete. - A Certified AC Matching Algorithm. - Matchbox: A Tool for Match-Bounded String Rewriting. - Querying Unranked Trees with Stepwise Tree Automata.
Jetzt bei Ebay:
