Search alternatives:
horn function » horn functions, rn function, turn function
Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... and automata -- Simplifying the modal mu-calculus alternation hierarchy -- On disguised double horn functions...”