University of Leicester


Publications in Algorithms and Complexity 1997

  1. A.A. Arratia-Quesada and I.A. Stewart, Generalized Hex and logical characterizations of polynomial space, Information Processing Letters 63 (1997) 147-152
  2. Y.A. Ashir, I.A. Stewart and A. Ahmed, Communication algorithms in k-ary n-cube interconnection networks, Information Processing Letters 61 (1997) 43-48
  3. Y.A. Ashir and I.A. Stewart, On embedding cycles in k-ary n-cubes, Parallel Processing Letters 7 (1997) 49-55
  4. Y.A. Ashir and I.A. Stewart, Embeddings of cycles, meshes and tori in faulty k-ary n-cubes, Proceedings of International Conference on Parallel and Distributed Systems (ICPADS'97), IEEE Computer Society Press (1997) 429-435
  5. F. Bracho, M. Droste and D. Kuske. Representation of computations of concurrent automata by dependence orders. Theoretical Computer Science 174 (1997), pp. 67-96.
  6. M. Edjvet and R.M. Thomas, The groups (l, m | n, k), Journal of Pure and Applied Algebra 114 (1997) 175-208
  7. M. Kaufmann, R. Raman and J. Sibeyn. Routing on a mesh-connected array of processors with buses. Algorithmica, 18 (1997), pp. 417-444. (ESA '93 special issue, T. Lengauer, ed.).
  8. V.Y. Shavrukov, Interpreting reflexive theories in finitely many axioms, Fundamenta Mathematicae 152 (1997) 99-116
  9. V.Y. Shavrukov, Undecidability in diagonalizable algebras, Journal of Symbolic Logic 62 (1997) 79-116
  10. V.Y. Shavrukov, Isomorphisms of diagonalizable algebras, Theoria, 63 (1997), 210-221.
  11. I.A. Stewart, Regular subgraphs in graphs and rooted graphs, and definability in monadic second-order logic, Mathematical Logic Quarterly 43 (1997) 1-21
  12. I.A. Stewart, Logics with zero-one laws that are not fragments of bounded-variable infinitary logic, Mathematical Logic Quarterly 43 (1997) 158-178
  13. I.A. Stewart, On locating cubic subgraphs in bounded-degree connected bipartite graphs, Discrete Mathematics 163 (1997) 319-324

University of Leicester 15th December 2000. Last modified: 16th September 2004, 11:07:04.
Informatics Web Maintainer. This document has been approved by the Head of Department.