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.
|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