Publisher
Springer Science and Business Media LLC
Reference13 articles.
1. Börger, E.: Reduktionstypen in Krom- und Hornformeln. Dissertation, Münster 1971.
2. Börger, E.: Eine einfache Methode zur Bestimmung der Unlösbarkeitsgrade von Entscheidungsproblemen kombinatorischer Systeme. Habilitationsschrift, Münster 1975.
3. Gladstone, M. D.: Finite models for inequations. JSL31, 581–592 (1966).
4. Gurevic, J.S.: Semi-conservative reduction. Arch. math. Logik18, 23–25 (1976).
5. Gurevic, J.S.: The decision problem for standard classes. JSL41, 460–464 (1976).
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Homage to Martin Wirsing;Software, Services, and Systems;2015
2. Abstract data types as lattices of finitely generated models;Mathematical Foundations of Computer Science 1980