An example of goal-directed, calculational proof von BACKHOUSE, ROLAND CARL, GUTTMANN, WALTER, WINTER, MICHAEL

Volltext

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : Revised Lectures von Backhouse, Roland, Crole, Roy, Gibbons, Jeremy

Volltext

Closure algorithms and the star-height problem of regular languages von Backhouse, Roland Carl

Volltext bestellen

Validating clinical practice guidelines for the management of children with non-blanching rashes in the UK (PiC): a prospective, multicentre cohort study von Waterfield, Thomas, Maney, Juli-Ann, Fairley, Derek, Lyttle, Mark D, McKenna, James P, Roland, Damian, Corr, Michael, McFetridge, Lisa, Mitchell, Hannah, Woolfall, Kerry, Lynn, Fiona, Patenall, Bethany, Shields, Michael D, Kitching, Amy, Rotheram, Matthew, Robinson, Gisela, Brassey, Paula, Hartshorn, Stuart, Wane, Rachel, Lyttle, Mark, Dangerfield, Jo, Hayes, Michael, McFarlane, Rebecca, Armstrong, Helen, Roland, Damian, Smith, Sally, VanHeyningen, Carl, Wilson, Esther, Kehler, Lisa, Gough, Christopher, Scott, Fraser, Backhouse, Claire, Gomes, Sylvester, Wood, Darryl, Maney, Julie-Ann, Johnson, Graham, Foster, Steven, Bloom, Ben, Lancaster, Andrew, Gray, Sebastian, Ramlakhan, Shammi, Gardner, Sharryn, Floyd, Sharon, Cleaver, Chris, MacFarlane, Susan, Bell, Claire, Nyirenda, Maggie, Bayreuther, Jane, Ijaz, Asim, Rogers, Natalie, Wilson, Sarah, Diment, Sarah, Boulind, Caroline, Allison, Kathryn, Waterfield, Thomas, Fairley, Derek, McKenna, James, Corr, Michael, McFetridge, Lisa, Mitchell, Hannah, Woolfall, Kerry, Lynn, Fiona, Petenall, Bethany, Shields, Michael

Volltext