Rule-Based Programming with sigma-Log

Mircea Marin, Tetsuo Ida. Rule-Based Programming with sigma-Log. In Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania. pages 31-38, IEEE Computer Society, 2005. [doi]

Abstract

Abstract is missing.