Search Results

Showing 1 - 1 results of 1 for search '"automata"', query time: 0.05s Refine Results
  1. 1
    by Koprowski Adam, Waldmann Johannes
    Published 2009
    “...We use weighted tree automata as certificates for termination of term rewriting systems...”
    Get access
    Get access
    Text
Search Tools: Get RSS Feed