1998

  • 1998/1
    Quasi-Interpolation on the 2-Sphere using Radial Polynomials
    A.K. Kushpel and J. Levesley
  • 1998/2
    Approximation theory for the hp-version finite element method and application to the non-linear Laplacian
    Mark Ainsworth and David Kay
  • 1998/3
    Program Equivalences for Linear Theories
    Roy L. Crole
  • 1998/4
    Hierarchies in Classes of Program Schemes
    A A Arratia-Quesada, Savita R Chauhan and Iain A Stewart
  • 1998/5
    Specification and Verification of Fault-tolerance, Timing and Scheduling
    Zhiming Liu and Mathai Joseph
  • 1998/6
    Towards a Completeness Result for Model Checking of Security Protocols
    Gavin Lowe
  • 1998/7
    Approximation in L2 Sobolev spaces on the 2-Sphere by Quasi-Interpolation.
    S.M. Gomes, A.K. Kushpel and J. Levesley
  • 1998/8
    Formal Languages and the Word Problem for Groups
    I.A. Stewart and R.M. Thomas
  • 1998/10
    Modelling FIX in Recursive Object Calculi
    R.L. Crole
  • 1998/11
    Loewy Series, V-Modules and Trace Ideals
    J. Watters
  • 1998/12
    Lectures on [Co]Induction and [Co]Algebras
    R.L. Crole
  • 1998/13
    Using program schemes to logically capture polynomial-time on certain classes of structures
    I. Stewart
  • 1998/14
    Projection Quasicrystals I: Toral Rotations.
    Alan Forrest, John Hunton and Johannes Kellendonk
  • 1998/15
    Dade's inductive conjecture for the Ree groups of type G2 in the defining characteristic
    Charles W Eaton
  • 1998/16
    Error estimates for Hermite Interpolation on Spheres
    Jeremy Levesley and Zuhua Luo
  • 1998/17
    Stability of Spherical Hermite Interpolation using Radial Basis Functions
    Jeremy Levesley and Zuhua Luo
  • 1998/18
    Encoding FIX in Object Calculi
    Roy L. Crole
  • 1998/19
    The Friedrichs Extension of Singular Differential Operators
    Marco Marletta and Anton Zettl
  • 1998/20
    Direct Forms for Seminorms Arising in the Theory of Interpolation by Translates of A Basis Function
    Jeremy Levesley and Will Light
  • 1998/21
    Guaranteed error bounds for eigenvalues of singular Sturm-Liouville problems
    B.M. Brown, D.K.R. McCormack and M. Marletta
  • 1998/22
    Mechanized Operational Semantics via (Co)Induction (Preliminary Report)
    Simon J. Ambler and Roy L. Crole

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc  seadmissions@le.ac.uk
E: MSc  pgadmissions@le.ac.uk

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604
E: csadmin@mcs.le.ac.uk

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom

Accessibility

DisabledGo logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.