Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!ihnp4!zehntel!hplabs!sri-unix!CL.BOYER@UTEXAS-20.ARPA
From: CL.BOYER@UTEXAS-20.ARPA
Newsgroups: net.ai
Subject: New Journal/Call for Papers
Message-ID: <649@sri-arpa.UUCP>
Date: Thu, 12-Jul-84 14:49:29 EDT
Article-I.D.: sri-arpa.649
Posted: Thu Jul 12 14:49:29 1984
Date-Received: Sun, 5-Aug-84 00:23:41 EDT
Lines: 21

From:  Bob Boyer 

The Journal of Symbolic Computation (published by Academic Press, London) will
publish original articles on all aspects of the algorithmic treatment of
symbolic objects (terms, formulae, programs, algebraic and geometrical
objects).  The emphasis will be on the mathematical foundation, correctness and
complexity of new sequential and parallel algorithms for symbolic computation.
However, the description of working software systems for symbolic computation
and of general new design principles for symbolic software systems and
applications of such systems for advanced problem solving are also within the
scope of the journal.

Manuscripts should be sent in triplicate to:

   B. Buchberger, Editor
   Journal of Symbolic Computation
   Johannes-Kepler-Universitat
   A4040 Linz, Austria

Associate Editors:  W. Bibel, J. Cannon, B. F. Caviness, J.  H. Davenport, K.
Fuchi, G. Huet, R. Loos, Z. Manna, J.Nievergelt, D. Yun.