Results 1 - 1 of 1 for q-et-s .
Sort by date, Sort by relevance.
w,α,) S s = w}. The evaluation domain TMFS. We formally define TMFS to be those subsets S of (TΣ)TSTABRSET satisfying:. ... s, α,) S end(s) α. 7. ( (s, α,) S (s.〈(t, a)〉,) Fail(S) t &gt; t′ α t end(). )
www.cs.ox.ac.uk/people/bill.roscoe/publications/60.pdf- 296k - 27 Apr 2005 - Cached
1 , .
Enquiries to Webmaster | Powered by Funnelback Search