Brotherston, J (2007) Formalised inductive reasoning in the logic of bunched implications. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 87 - 103).
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Formalised inductive reasoning in the logic of bunched implications |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record