next up previous
Next: About this document Up: Search and Optimization in Previous: 8. Relevance of

References

Aarts and Korst, 1989
Emile Aarts and Jan Korst. Simulated Annealing and Boltzmann Machines. John Wiley & Sons, Chicester, 1989.

Abramsky and Vickers, 1993
Samson Abramsky and Steven Vickers. Quantales, observational logic and process semantics. Mathematical Structures in Computer Science, 3:161--227, 1993.

Apt, 1995
Krzysztof R. Apt. Program verification and prolog. In E. Börger, editor, Specification and Validation Methods for Programming Languages and Systems, chapter 3, pages 55--95, Oxford University Press, Oxford, 1995.

Asperti et al. , 1994
Andrea Asperti, Vincent Danos, Cosimo Laneve, and Laurent Regnier. Paths in the lambda-calculus. In IEEE Symposium on Logic in Computer Science, pages --, 1994.

Borceux et al. , 1989
F. Borceux, J. Rosicky, and G. van den Bossche. Quantales and -algebras. Journal of the London Mathematical Society, 40(2):398--404, 1989.

Bratteli and Robinson, 1979
Ola Bratteli and Derek W. Robinson. Operator Algebras and Quantum Statistical Mechanics. Volume 1 -- - and -Algebras, Symmetry Groups, Decomposition of States, Springer Verlag, New York -- Heidelberg -- Berlin, 1979.

Connes, 1994
Alain Connes. Noncommutative Geometry. Academic Press, San Diego, 1994.

Cuntz and Krieger, 1980
Joachim Cuntz and Wolfgang Krieger. A class of -algebras and topological Markov chains. Inventiones Mathematicae, 56:251--268, 1980.

Danos and Regnier, 1995
Vincent Danos and Laurent Regnier. Proof-Nets and the Hilbert space. In Symposium on Linear Logic (Cornell 1993), page (to appear), Cambridge University Press, 1995.

Girard, 1988
Jean-Yves Girard. Geometry of Interaction 2: Deadlock-free algorithms. In P. Martin-Löf and G. Mints, editors, International Conference on Computer Logic, COLOG 88, pages 76--93, Springer-Verlag, 1988.

Girard, 1989
Jean-Yves Girard. Geometry of Interaction 1: Interpretation of System F. In Ferro, Bonotto, Valentini, and Zanardo, editors, Logic Colloquium '88, pages 221--260, North Holland, 1989.

Girard, 1995
Jean-Yves Girard. Geometry of Interaction 3: Accommodating the additives. In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in Linear Logic, pages 326--389, Cambridge University Press, Cambridge, 1995.

Grossman and Larson, 1995
R.L. Grossman and R.G. Larson. An algebraic approach to hybrid systems. Theoretical Computer Science, 138(1):101--112, February 1995. special issue on Hybrid Systems.

Hirsch and Smale, 1974
M. Hirsch and S. Smale. Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press, Orlando, 1974.

Kohonen, 1989
T. Kohonen. Self-Organization and Associative Memory. Springer-Verlag, Berlin, 3 edition, 1989.

Malacaria and Regnier, 1991
Pasquale Malacaria and Laurent Regnier. Some results on the interpretation of -calculus in operator algebras. In IEEE Symposium on Logic in Computer Science, pages 63--72, 1991.

Mundici, 1986
Daniele Mundici. Interpretation of AF -algebras in ukasiewicz sentential calculus. Journal of Functional Analysis, 65:15--63, 1986.

Mundici, 1989
Daniele Mundici. The -algebras of three-valued logic. In Ferro, Bonotto, Valentini, and Zanardo, editors, Logic Colloquium '88, pages 61--77, North Holland, 1989.

Murphy, 1990
Gerard J. Murphy. -Algebras and Operator Theory. Academic Press, San Diego, 1990.

Svozil, 1995
K. Svozil. Quantum computation and complexity theory I. Bulletin of the EATCS, 55:170--207, February 1995.

Wiklicky, 1996a
Herbert Wiklicky. On Linear Models and Algorithms: From Proof Nets to Neural Networks. (in preparation).

Wiklicky, 1996b
Herbert Wiklicky. Towards an abstract model of neural networks. (in preparation).



next up previous
Next: About this document Up: Search and Optimization in Previous: 8. Relevance of

Herbert Wiklicky
Fri Jun 14 13:32:12 BST 1996