Formal Aspects of Computing

, Volume 22, Issue 1, pp 1–1 | Cite as

Editorial

  • Eerke Boiten
  • Michael Butler
  • John Derrick
  • Graeme Smith
Editorial
  • 108 Downloads

Keywords

Computational Mathematic Action System Probabilistic Action Programming Method Math Application 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© British Computer Society 2009

Authors and Affiliations

  • Eerke Boiten
    • 1
  • Michael Butler
    • 1
  • John Derrick
    • 1
  • Graeme Smith
    • 1
  1. 1.School of ComputingUniversity of KentCanterburyUK

Personalised recommendations