{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:50Z","timestamp":1761611150288,"version":"3.32.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,4,1]],"date-time":"1995-04-01T00:00:00Z","timestamp":796694400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Lang Inf"],"published-print":{"date-parts":[[1995,4]]},"DOI":"10.1007\/bf01048403","type":"journal-article","created":{"date-parts":[[2005,1,31]],"date-time":"2005-01-31T11:17:43Z","timestamp":1107170263000},"page":"5-39","source":"Crossref","is-referenced-by-count":39,"title":["A first-order axiomatization of the theory of finite trees"],"prefix":"10.1007","volume":"4","author":[{"given":"Rolf","family":"Backofen","sequence":"first","affiliation":[]},{"given":"James","family":"Rogers","sequence":"additional","affiliation":[]},{"given":"K.","family":"Vijay-Shanker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1093\/jigpal\/2.1.3","volume":"2","author":"Patrick Blackburn","year":"1994","unstructured":"Patrick Blackburn and Wilfried Meyer-Viol, 1994, ?Linguistics, logic, and finite trees,?Bulletin of the IGPL,2, 3?29.","journal-title":"Bulletin of the IGPL"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Patrick Blackburn, Claire Gardent, and Wilfried Meyer-Viol, (1993), ?Talking about trees,? pp. 21?29, inProceedings of the 6th Conference of the EACL, European Chapter of the Association for Computational Linguistics.","DOI":"10.3115\/976744.976748"},{"key":"CR3","unstructured":"Thomas Longacre Cornell, (1992),Description Theory, Licensing Theory, and Principle-Based Grammars and Parsers, PhD thesis, University of California Los Angeles."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"Bruno Courcelle","year":"1983","unstructured":"Bruno Courcelle, (1983), ?Fundamental properties of infinite trees,?Theoretical Computer Science 25, 95?169.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"CR5","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1305\/ndjfl\/1093635080","volume":"30","author":"Kees Doets","year":"1989","unstructured":"Kees Doets, (1989), ?Monadic II 1 1 -theories of II 1 1 -properties,?Notre Dame Journal of Formal Logic 30(2) 224?240.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1016\/S0022-0000(70)80041-1","volume":"4","author":"John Doner","year":"1970","unstructured":"John Doner, (1970), ?Tree acceptors and some of their applications,?Journal of Computer and System Sciences 4, 406?451.","journal-title":"Journal of Computer and System Sciences"},{"key":"CR7","volume-title":"Mathematical Logic","author":"H.-D. Ebbinghaus","year":"1984","unstructured":"H.-D. Ebbinghaus, J. Flum, and W. Thomas, (1984),Mathematical Logic. New York: Springer-Verlag."},{"key":"CR8","volume-title":"Generalized Phrase Structure Grammar","author":"G. Gazdar","year":"1985","unstructured":"G. Gazdar, E. Klein, G. Pullum, and I. Sag, (1985),Generalized Phrase Structure Grammar. Basil Blackwell."},{"key":"CR9","volume-title":"Master's thesis","author":"James Henderson","year":"1990","unstructured":"James Henderson, (1990), ?Structure Unification Grammar: A unifying framework for investigating natural language,? Master's thesis, University of Pennsylvania, Phila., PA."},{"issue":"1","key":"CR10","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF01069050","volume":"18","author":"Mark Johnson","year":"1989","unstructured":"Mark Johnson, (1989), ?The use of knowledge of language,?Journal of Psycholinguistic Research 18(1), 105?128.","journal-title":"Journal of Psycholinguistic Research"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1515\/9783110874167-006","volume-title":"in Levels of Syntactic Representation","author":"Richard S. Kayne","year":"1981","unstructured":"Richard S. Kayne, (1981), ?Unambiguous paths,? pp. 143?183,in Levels of Syntactic Representation, R. May and J. Koster, eds, Dordrecht: Foris."},{"key":"CR12","volume-title":"The Antisymmetry of Syntax","author":"Richard S. Kayne","year":"1994","unstructured":"Richard S. Kayne, (1994),The Antisymmetry of Syntax. Cambridge, MA: MIT Press."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Marcus Kracht, (1993), ?Mathematical aspects of command relations,? inProceedings of the 6th Conference of the EACL. European Chapter of the Association for Computational Linguistics.","DOI":"10.3115\/976744.976773"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Michael J. Maher, (1988), ?Complete axiomatizations of the algebras of finite, rational and infinite trees,? pp. 348?357, inProceedings of the 3rd Annual Symposium on Logic in Computer Science, Scotland: Edinburgh.","DOI":"10.1109\/LICS.1988.5132"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Mitchell P. Marcus, Donald Hindle, and Margaret M. Fleck, (1983), ?D-theory: Talking about talking about trees,? inProceedings of the 21st Annual Meeting of the Association for Computational Linguistics.","DOI":"10.3115\/981311.981337"},{"key":"CR16","first-page":"1990","volume-title":"Mathematical Methods in Linguistics, volume 20 ofStudies in Linguistics and Philosophy","author":"Barbara Partee","year":"1990","unstructured":"Barbara Partee, Alice ter Meulen, and Robert Wall, (1990),Mathematical Methods in Linguistics, volume 20 ofStudies in Linguistics and Philosophy. Kluwer Academic Publishers, Dordrecht, 1990."},{"key":"CR17","first-page":"1","volume":"141","author":"Michael O. Rabin","year":"1969","unstructured":"Michael O. Rabin, (1969), ?Decidability of second-order theories and automata on infinite trees,?Transactions of the American Mathematical Society 141, 1?35.","journal-title":"Transactions of the American Mathematical Society"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1111\/j.1467-8640.1994.tb00005.x","volume":"10","author":"James Rogers","year":"1994","unstructured":"James Rogers and K, Vijay-Shanker, (1994), ?Obtaining trees from their descriptions: An application to Tree-Adjoining Grammars,?Computational Intelligence 10, 401?421.","journal-title":"Computational Intelligence"},{"key":"CR19","unstructured":"James Rogers, (1994),Studies in the Logic of Trees with Applications to Grammar Formalisms. Ph.D. dissertation, University of Delaware."},{"issue":"3","key":"CR20","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/BF02761075","volume":"30","author":"Dirk Siefkes","year":"1978","unstructured":"Dirk Siefkes, (1978), ?An axiom system for the weak monadic second order theory of two successors,?Israel Journal of Mathematics 30(3), 264?284.","journal-title":"Israel Journal of Mathematics"},{"key":"CR21","unstructured":"Edward P. Stabler, Jr., 1992,The Logical Approach to Syntax, Bradford."},{"issue":"4","key":"CR22","first-page":"481","volume":"18","author":"K. Vijay-Shanker","year":"1992","unstructured":"K. Vijay-Shanker, 1992, ?Using descriptions of trees in a Tree-Adjoining Grammar,?Computational Linguistics 18(4), 481?517.","journal-title":"Computational Linguistics"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01048403.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01048403\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01048403","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,22]],"date-time":"2024-12-22T22:44:54Z","timestamp":1734907494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01048403"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,4]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,4]]}},"alternative-id":["BF01048403"],"URL":"https:\/\/doi.org\/10.1007\/bf01048403","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1995,4]]}}}