Volume 84, Number 1, 2008
: An Algorithm for BCH Codes Extended with Finite State Automata.
, Kathy J. Horadam
: Simulation and Measurement of Complex Network Growth: the Interplay of Uniform and Preferential Attachment.
Volume 84, Number 2, 2008
: A Type Driven Theory of Predication with Complex Types.
, Miki Tanaka
: Category Theoretic Semantics for Typed Binding Signatures with Recursion.
Volume 84, Numbers 3-4, 2008
: A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication.