Oxford University

or Find Staff here

Results for University of Oxford

Results 1 - 1 of 1 for q-et-s .

Sort by date, Sort by relevance.

Results

1. tmfs.dvi

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 > t′ α t end(). )

www.cs.ox.ac.uk/people/bill.roscoe/publications/60.pdf- 296k - 27 Apr 2005 - Cached

Result Page

1 , .




Enquiries to Webmaster | Powered by Funnelback Search