# | | Year | | Title | Type | |
1 |
| Barnett, Basin, Hesketh [-] |
| |
5 |
| |
6 |
| Barth, Bockmayr [-] |
| |
1 |
| |
1 |
| Barth, Kleine Büning, Weidenbach [Kleine Büning] |
| |
5 |
| |
1 |
| Basin, Brown, Leeser [-] |
| |
1 |
| Basin, Bundy, Kraan, Matthews [-] |
| |
1 |
| Basin, Constable [-] |
| |
1 |
| |
1 |
| Basin, Friedrich [von Wright, Grundy, Harrison] |
| |
1 |
| |
1 |
| Basin, Ganzinger [Basin] |
| |
1 |
| Basin, Giunchiglia, Kaufmann (ed.) [Giunchiglia, Kaufmann] |
| |
1 |
| Basin, Giunchiglia, Traverso [-] |
| |
1 |
| |
1 |
| Basin, Kaufmann [-] |
| |
| | 1991 | | The Boyer-Moore Prover and Nuprl: An Experimental Comparison
In: Logical Frameworks, 90-119 | Proceedings Article | |
2 |
| Basin, Klarlund [Klarlund] |
| |
1 |
| Basin, Krieg-Brückner [Astesiano, Kreowski, Krieg-Brückner] |
| |
2 |
| Basin, Matthews [-] |
| |
1 |
| Basin, Matthews [Gabbay, Guenthner] |
| |
1 |
| Basin, Matthews [McRobbie, Slaney] |
| |
6 |
| Basin, Matthews, Viganò [-] |
| |
2 |
| Basin, Matthews, Viganò [Basin, Viganò] |
| |
2 |
| |
3 |
| Basin, Walsh [Walsh] |
| |
4 |
| |
1 |
| Baumgartner, Burchardt [Burchardt, Alferes, Leite] |
| |
1 |
| Baumgartner, Fuchs, Tinelli [Tinelli, Schulz, Tammet, Sutcliffe] |
| |