2 results
Marianne Winslett. Updating logical databases, Cambridge tracts in theoretical computer science, no. 9. Cambridge University Press, Cambridge etc. 1990, ix + 211 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1110-1111
- Print publication:
- September 1994
-
- Article
- Export citation
A Hilbert Lattice With a Small Automorphism Group
-
- Journal:
- Canadian Mathematical Bulletin / Volume 30 / Issue 2 / 01 June 1987
- Published online by Cambridge University Press:
- 20 November 2018, pp. 182-185
- Print publication:
- 01 June 1987
-
- Article
-
- You have access
- Export citation