University of Leicester


Publications in Algorithms and Complexity 1996

  1. C.M. Campbell, E.F. Robertson, N. Ruskuc and R.M. Thomas, On subsemigroups of finitely presented semigroups, Journal of Algebra 180 (1996) 1-21
  2. C.M. Campbell, E.F. Robertson, N. Ruskuc and R.M. Thomas, On subsemigroups and ideals in free products of semigroups, International Journal of Algebra and Computation 6 (1996) 571-591
  3. M. Droste and D. Kuske. Trace languages definable with modular quantifiers. Developments in Language Theory II, At the Crossroads of Mathematics, Computer Science and Biology (J. Dassow, G. Rozenberg and A. Salomaa eds), pp. 386-395. World Scientific, 1996.
  4. M. Droste and D. Kuske. Logical definability of recognizable and aperiodic languages in concurrency monoids. Computer Science Logic, 9th International Workshop, CSL '95, Springer LNCS v.1092, pp. 233-251, 1996.
  5. D. Krizanc, L. Narayanan and R. Raman. Fast deterministic selection on a mesh-connected array of processors. Algorithmica 15 (1996), pp. 319-332.
  6. C. Lautemann, T. Schwentick and I.A. Stewart, On positive P, Proc. 11th Annual IEEE Conference on Computational Complexity IEEE Computer Society Press (1996) 162-170
  7. J. Nurmonen, On winning strategies with unary quantifiers, Journal of Logic and Computation 6 (1996) 779-798
  8. J. Nurmonen, Counting modulo quantifiers on finite linearly ordered trees, Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, IEEE Press (1996) 484-493
  9. R. Raman. Priority queues: small, monotone and trans-dichotomous. In Proc. 4th Annual European Symposium on Algorithms (ESA), Springer LNCS v.1136, pp. 121-137, 1996.
  10. V.Y. Shavrukov, Remarks on uniformly finitely precomplete positive equivalences, Mathematical Logic Quarterly 42 (1996) 67-82
  11. I.A. Stewart, Finding regular subgraphs in both arbitrary and planar graphs, Discrete Applied Mathematics 68 (1996) 223-235
  12. I.A. Stewart, The demise of the Turing machine in complexity theory, in: Machines and Thought: The Legacy of Alan Turing (ed. P. Millican and A. Clark) Oxford University Press (1996) 221-232
  13. I.A. Stewart, The role of monotonicity in finite model theory, Collegium Logicum-Annals of the Kurt Goedel Society Vol. 2, Springer-Verlag (1996) 101-117

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