Volume 161, August 2006

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2004)

• 
  Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong: Preface. 1-2
• 
  Michael Huth: Topological Analysis of Refinement. 3-23
• 
  Georg Essl: Computation of Wave Fronts on a Disk I: Numerical Experiments. 25-41
• 
  Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini: A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. 43-57
• 
  John Power: Countable Lawvere Theories and Computational Effects. 59-71
• 
  Andrew Butterfield, Jim Woodcock: A "Hardware Compiler" Semantics for Handel-C. 73-90
• 
  Sharon Flynn, Dick Hamlet: On Formal Specification of Software Components and Systems. 91-107
• 
  Anthony Karel Seda: On the Integration of Connectionist and Logic-Based Systems. 109-130
• 
  Alessandra Di Pierro, Herbert Wiklicky: Operator Algebras and the Operational Semantics of Probabilistic Languages. 131-150
• 
  Rueiher Tsaur, Michael B. Smyth: Convexity in Helly Graphs: Selection and Almost Fixed Point Properties for Multifunctions. 151-163
• 
  Salvador Romaguera, E. A. Sánchez-Pérez, Oscar Valero: The Dual Complexity Space as the Dual of a Normed Cone. 165-174
• 
  M. O'Keeffe, Homeira Pajoohesh, Michel P. Schellekens: Decision Trees of Algorithms and a Semivaluation to Measure Their Distance. 175-183