| Type | Title | Author | Publisher | Year |
| Article | Flowchart machines | Bjorner, D. | | 1970 |
| Article | Tree adjunct languages as integer set recognizers | Biswas, S., Vaishnavi, V.K. | | 1978 |
| Article | Reality construction as problem oriented docomposition: between (social) constructivism and realism | Birrer, F.A.J. | | 1994 |
| Article | On sets of numbers not recognisable by pushdown automata | Bird, R.S. | | 1968 |
| Article | On a completion method for unimodular matrices | Bik, A.J.C., Wiijshoff, H.A.G. | | 1994 |
| Article | Nonzero structure analysis | Bik, A.J.C., Wiijshoff, H.A.G. | | 1994 |
| Article | Algebraic specifications of computable and semicomputable data types | Bergstra, J.A., Tucker, J.V. | | 1987 |
| Article | Uniform algebraic specifications of finite sets with equality | Bergstra, J.A., Mauw, S., Wiedijk, F. | | 1991 |
| Article | Syntax and Semantics: A Categorical View | Benson, D.B. | | 1970 |
| Article | The algebra of derivations and a semithue parser | Benson, D.B. | | 1969 |
| Article | Languages and scanners | Beauquier, D., Pin, J.-E. | | 1991 |
| Article | Acta Informatica, Vol. 31 Fasc. 1 | Bauer, F.L., Broy, M., Dijkstra, E.W., Gries, D., Turski, W.M. | | 1994 |
| Article | Acta Informatica, Vol. 31 Fasc. 2 | Bauer, F.L., Broy, M., Dijkstra, E.W., Gries, D., Turski, W.M. | | 1994 |
| Article | Acta Informatica, Vol. 31 Fasc. 3 | Bauer, F.L., Broy, M., Dijkstra, E.W., Gries, D., Turski, W.M. | | 1994 |
| Article | The Hausdorff-Kuratowski hierarchy of omega-regular languages and a hierarchy of Muller automata | Barua, R. | | 1992 |
| Article | Untersuchungen zur detektion und lokalisation markanter punkte in farbbildern | Bartsch, T. | | 1987 |
| Article | Non-uniform automata over groups | Barrington, D.A.M., Straubing, H., Therien, D. | | 1990 |
| Article | Context-free parsing on O(n) processors | Barnard, D.T., Skillicorn, D.B. | | 1991 |
| Article | Pipelining tree-structured algorithms on simd architectures | Barnard, D.T., Skillicorn, D.B. | | 1990 |
| Article | Multidimensional trees | Baldwin, W.A., Strawn, G.O. | | 1991 |
| Article | Reversal-bounded multipushdown machines | Baker, B.S., Book, R.V. | | 1974 |
| Article | Searching with Uncerainty | Baeza-Yates, R.A., Culberson, J.C., Rawlins, G.J.E. | | 1987 |
| Article | A decentralized control parallel interpreter for arithmetic expressions ans its evaluation | Baccelli, F., Mussi, P. | | 1983 |
| Article | On parsing arithmetic expressions in a multiprocessing environment | Baccelli, F., Fleury, T. | | 1982 |
| Article | On parsing arithmetic expressions in a multiprocessing environment | Baccelli, F., Fleury, T. | | 1982 |
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 |
