Hans-Jürgen Brämik

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1987

1 Hans-Jürgen Brämik: You have not understodd a sentence, unless you can prove it. Computation Theory and Logic 1987: 49-58