{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:37:49Z","timestamp":1725471469032},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540659228"},{"type":"electronic","value":"9783540488552"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10703163_4","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T18:15:50Z","timestamp":1160417750000},"page":"45-57","source":"Crossref","is-referenced-by-count":0,"title":["On the Power of Quantifiers in First-Order Algebraic Specification"],"prefix":"10.1007","author":[{"given":"David","family":"Kempe","sequence":"first","affiliation":[]},{"given":"Arno","family":"Sch\u00f6negge","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/BF00264163","volume":"17","author":"P.R.J. Asveld","year":"1982","unstructured":"Asveld, P.R.J., Tucker, J.V.: Complexity theory and the operational structure of algebraic programming systems. Acta Inform.\u00a017, 451\u2013476 (1982)","journal-title":"Acta Inform."},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/3-540-10856-4_85","volume-title":"Proc. of the 10th Symp. on Math. Found. of Comp. Sci.","author":"J.A. Bergstra","year":"1981","unstructured":"Bergstra, J.A., Broy, M., Tucker, J.V., Wirsing, M.: On the power of algebraic specifications. In: Gruska, J., Chytil, M.P. (eds.) MFCS 1981. LNCS, vol.\u00a0118, pp. 193\u2013204. Springer, Heidelberg (1981)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/3-540-09510-1_7","volume-title":"Automata, Languages and Programming, 6th Colloquium","author":"M. Broy","year":"1979","unstructured":"Broy, M., Dosch, W., Partsch, H., Pepper, P., Wirsing, M.: Existential quantifiers in abstract data types. In: Maurer, H.A. (ed.) ICALP 1979. LNCS, vol.\u00a071, pp. 73\u201387. Springer, Heidelberg (1979)"},{"issue":"1-2","key":"4_CR4","first-page":"85","volume":"11","author":"R. Berghammer","year":"1993","unstructured":"Berghammer, R.: On the characterization of the integers: the hidden function problem revisited. Acta Cybernetica\u00a011(1-2), 85\u201396 (1993)","journal-title":"Acta Cybernetica"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/S0019-9958(82)80021-1","volume":"54","author":"J.A. Bergstra","year":"1982","unstructured":"Bergstra, J.A., Tucker, J.V.: The completeness of the algebraic speci cation methods for computable data types. Information and Control\u00a054, 186\u2013200 (1982)","journal-title":"Information and Control"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0304-3975(87)90123-X","volume":"50","author":"J.A. Bergstra","year":"1987","unstructured":"Bergstra, J.A., Tucker, J.V.: Algebraic specifications of computable and semicomputable data types. Theoret. Comput. Sci.\u00a050, 137\u2013181 (1987)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR7","volume-title":"Perspectives in Mathematical Logic","author":"H.-D. Ebbinghaus","year":"1995","unstructured":"Ebbinghaus, H.-D., Flum, J.: Finite Model Theory. In: Perspectives in Mathematical Logic. Springer, Heidelberg (1995)"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0022-0000(81)90014-3","volume":"23","author":"H. Ehrig","year":"1981","unstructured":"Ehrig, H., Mahr, B.: Complexity of algebraic implementations for abstract data types. Computer and System Sciences\u00a023(2), 223\u2013253 (1981)","journal-title":"Computer and System Sciences"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0049-237X(08)71879-2","volume-title":"Proc. Of the Herbrand Symp., Logic Colloq. (1981)","author":"H. Gaifman","year":"1982","unstructured":"Gaifman, H.: On local and non-local properties. In: Stern, J. (ed.) Proc. Of the Herbrand Symp., Logic Colloq (1981), pp. 105\u2013135. North-Holland, Amsterdam (1982)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/0022-0000(82)90011-3","volume":"25","author":"N. Immerman","year":"1982","unstructured":"Immerman, N.: Upper and lower bounds for first order expressibility. Computer and System Sciences\u00a025, 76\u201398 (1982)","journal-title":"Computer and System Sciences"},{"key":"4_CR11","unstructured":"Kempe, D.: Ausdrucksm\u00e4chtigkeit von Quantoren in algebraischen Spezifikationen. Master\u2019s thesis, Universit\u00e4t Karlsruhe (August 1998)"},{"key":"4_CR12","volume-title":"Specification of abstract data types","author":"J. Loeckx","year":"1996","unstructured":"Loeckx, J., Ehrich, H.-D., Wolf, M.: Specification of abstract data types. Wiley-Teubner, Chichester (1996)"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0304-3975(79)90059-8","volume":"8","author":"M.E. Majster","year":"1979","unstructured":"Majster, M.E.: Data types, abstract data types and their specification problem. Theoret. Comput. Sci.\u00a08, 89\u2013127 (1979)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR14","volume-title":"Hilbert\u2019s Tenth Problem","author":"Y. Matiyasevich","year":"1993","unstructured":"Matiyasevich, Y.: Hilbert\u2019s Tenth Problem. MIT Press, Cambridge (1993)"},{"issue":"7","key":"4_CR15","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/954245.954252","volume":"14","author":"F. Orejas","year":"1979","unstructured":"Orejas, F.: On the power of conditional specifications. ACM SIGPLAN Notices\u00a014(7), 78\u201381 (1979)","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR16","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"A. Robinson","year":"1974","unstructured":"Robinson, A.: Introduction to model theory and to the metamathematics of algebra. In: Studies in Logic and the Foundations of Mathematics. North Holland, Amsterdam (1974)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Sch\u00f6negge, A.: An answer to the hidden function question for algebraic specification methods (abstract). In: 4th Workshop on Logic, Language, Information and Computation. Logic Journal of the IGPL, vol.\u00a05(6) (1997)","DOI":"10.1093\/jigpal\/5.6.859"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/BFb0000489","volume-title":"Proc. of the 6th Int. Conf. on Algebraic Methodology and Software Technology (AMAST 1997)","author":"A. Sch\u00f6negge","year":"1997","unstructured":"Sch\u00f6negge, A.: The hidden function question revisited. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol.\u00a01349, pp. 451\u2013464. Springer, Heidelberg (1997)"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J.W. Thatcher","year":"1982","unstructured":"Thatcher, J.W., Wagner, E.G., Wright, J.B.: Data type specification: Parameterization and the power of specification techniques. ACM Trans. on Programming Languages and Systems\u00a04, 711\u2013732 (1982)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"4_CR20","first-page":"675","volume-title":"Handbook of Theoretical Computer Science","author":"M. Wirsing","year":"1990","unstructured":"Wirsing, M.: Algebraic Specification. In: Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 675\u2013788. Elsevier Science Publishers B. V, Amsterdam (1990)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10703163_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T07:42:28Z","timestamp":1683618148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10703163_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540659228","9783540488552"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/10703163_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}