This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Batarekh, A.; Subrahmanian, V.S.: The query topology in logic programming, STACS 89 (B.Monien, R.Cori eds.), Springer Lecture Notes in Computer Science, vol. 349(1989), pp. 375–387
S.I. Borewicz, I.R. Safarevic: Zahlentheorie, Birkhäuser Verlag Basel und Stuttgart 1966
Dahn, B.I.: An analog of the least Herbrand model for non-Horn theories, B. Dahn, H. Wolter (eds.), Proc. 6th Easter Conference on Model Theory, Seminarbericht der Sektion Mathematik der Humboldt-Universität Nr. 98, Berlin 1988, pp. 33–52.
Dahn, B.I., Lenski, W.: Universally generic ordered abelian groups with two generators, B. Dahn, H.Wolter (eds.), Proc. 7th Easter Conference on Model Theory, Seminarbericht der Sektion Mathematik der Humboldt-Universität Nr. 104, Berlin 1989, pp. 75–80
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dahn, B.I. (1990). On test classes for universal theories. In: Börger, E., Büning, H.K., Richter, M.M. (eds) CSL '89. CSL 1989. Lecture Notes in Computer Science, vol 440. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52753-2_34
Download citation
DOI: https://doi.org/10.1007/3-540-52753-2_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52753-4
Online ISBN: 978-3-540-47137-0
eBook Packages: Springer Book Archive