Relating functionality descriptions to proof rules of input/output logic.

Broersen, J.M.; Dastani, M.; Torre, L.W.N. van der

Relating functionality descriptions to proof rules of input/output logic. (bibtex)

@InProceedings{BroersenDastaniTorre2002,
  Title                    = {Relating functionality descriptions to proof rules of input/output logic.},
  Author                   = {J.M. Broersen and M. Dastani and L.W.N. van der Torre},
  Booktitle                = {Proceedings of BNAIC 2002},
  Year                     = {2002},
  Pages                    = {27-34},

  Url                      = {http://icr.uni.lu/leonvandertorre/papers/bnaic02c.ps}
}