Articles

• 15 February 2019 /

  Axioms for Behavioural Congruence of Single-Pass Instruction Sequences

   
•  

• 15 February 2019 /

  On Partition Metric Space, Index Function, and Data Compression

   
•  

• 15 February 2019 /

  (Skew) Filters in Residuated Skew Lattices

   
•  

• 15 February 2019 /

  The Reticulation of a Universal Algebra

   
•  

• 15 February 2019

  Instruction Sequences Expressing Multiplication Algorithms

   

• 15 February 2019

  The Theory of Finitely Supported Structures and Choice Forms