1 Result(s)
within
Conference Paper
Chung-Kil Hur
Computer Science
Artificial Intelligence
Mathematical Logic and Foundations
-
Chapter and Conference Paper
Mathematical Synthesis of Equational Deduction Systems
Our view of computation is still evolving. The concrete theories for specific computational phenomena that are emerging encompass three aspects: specification and programming languages for describing computations...
