Relating functionality descriptions to proof rules of input/output logic. (bibtex)
by J.M. Broersen, M. Dastani, L.W.N. van der Torre
Reference:
Relating functionality descriptions to proof rules of input/output logic. (J.M. Broersen, M. Dastani, L.W.N. van der Torre), In Proceedings of BNAIC 2002, 2002.
Bibtex Entry:
@InProceedings{Broersen2002a,
  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},

  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/bnaic02c.ps}
}
Powered by bibtexbrowser