Search alternatives:
games » names

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... in Orthogonal Expression Reduction Systems -- The notion of rank and games -- A predicate logic of well-founded...