Author:
Börger Egon,Heidler Klaus
Publisher
Springer Science and Business Media LLC
Reference22 articles.
1. Aanderaa, S.O.: On the decision problem for formulas in which all disjunctions are binary. Proc. of the Second Scand. Log. Symp. (Amsterdam 1971), pp. 1–18.
2. Aanderaa, S., Belsnes, D.: Decision problems for Tag systems. JSL36,2, 229–239 (1971).
3. Boone, W.W., Rogers, H., Jr.: On a problem of J.H.C. Whitehead and a problem of Alonzo Church. Math. Scand.19, 185–192 (1966).
4. Börger, E.: Reduktionstypen in Krom- und Hornformeln. Dissertation Münster 1971.
5. Börger, E.: Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen. Archiv für math. Logik und Grundlagenforschung (1973) 67–84.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献