{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,22]],"date-time":"2024-12-22T23:10:07Z","timestamp":1734909007131,"version":"3.32.0"},"reference-count":14,"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\/bf01048405","type":"journal-article","created":{"date-parts":[[2005,1,31]],"date-time":"2005-01-31T11:17:43Z","timestamp":1107170263000},"page":"61-79","source":"Crossref","is-referenced-by-count":2,"title":["Dynamic interpretations of constraint-based grammar formalisms"],"prefix":"10.1007","volume":"4","author":[{"given":"Lawrence S.","family":"Moss","sequence":"first","affiliation":[]},{"given":"David E.","family":"Johnson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"E. B\u00f6rger, 1994, ?Annotated bibliography on evolving algebras,? inSpecification and Validation Methods, E. B\u00f6rger, ed., Oxford University Press. Paper available by anonymous ftp from: apollo.di.unipi.it in the directory pub\/Papers\/boerger."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"B. Carpenter, 1992,The Logic of Typed Feature Structures, Cambridge Tracts in Theoretical Computer Science 32, Cambridge University Press.","DOI":"10.1017\/CBO9780511530098"},{"issue":"1","key":"CR3","first-page":"11","volume":"16","author":"A. Dawar","year":"1990","unstructured":"A. Dawar and K. Vijay-Shankar, 1990, ?A three-valued interpretation of negation in feature structure descriptions,?Computational Linguistics 16(1), 11?21.","journal-title":"Computational Linguistics"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Y. Gurevich and L.S. Moss, 1990, ?Algebraic operational semantics and Occam,? inProceedings of 3rd Workshop on Computer Science Logic, Springer-Verlag LNCS, volume 440.","DOI":"10.1007\/3-540-52753-2_39"},{"key":"CR5","first-page":"264","volume":"43","author":"Y. Gurevich","year":"1991","unstructured":"Y. Gurevich, 1991, ?Evolving algebras: A tutorial introduction,?Bulletin of the European Association for Theoretical Computer Science 43, 264?286.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"CR6","unstructured":"Y. Gurevich, 1994, ?Evolving algebras 1993: Lipari guide,? inSpecification and Validation Methods, E. B\u00f6rger, ed., Oxford University Press."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"D. E. Johnson and L. S. Moss, 1995, ?Grammar formalisms viewed as evolving algebras,?Linguistics and Philosophy.","DOI":"10.1007\/BF00985318"},{"key":"CR8","unstructured":"M. Johnson, 1988, ?Attribute-Value Logic and the Theory of Grammar,? CSLI Lecture Notes Number 16, CSLI."},{"key":"CR9","unstructured":"B. Keller, 1993, ?Feature Logics, Infinitary Descriptions, and Grammar,? CSLI Lecture Notes Number44, CSLI."},{"key":"CR10","unstructured":"M. A. Moshier, 1988,Extensions to Unification Grammar for the Description of Programming Languages, PhD thesis, University of Michigan."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"M. A. Moshier and W. C. Rounds, ?A logic for partially specified data structures,? inProceedings of 14th ACM Symposium on Principles of Programming Languages, pp. 156?167.","DOI":"10.1145\/41625.41639"},{"key":"CR12","first-page":"143","volume-title":"Applied Logic: How, What, and Why?","author":"L. S. Moss","year":"1995","unstructured":"L. S. Moss and D. E. Johnson, 1995, ?Evolving algebras and mathematical models of language,? pp. 143?175, inApplied Logic: How, What, and Why?, Dordrecht: Kluwer Academic Publishers."},{"key":"CR13","unstructured":"W. C. Rounds, ?Feature logic,? inHandbook of Logic and Language, J. van Beninern and A. ter Meulen eds., Amsterdam: North Holland."},{"key":"CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2123.001.0001","volume-title":"Constraint-Based Grammar Formalisms","author":"S. M. Shieber","year":"1992","unstructured":"S. M. Shieber, 1992,Constraint-Based Grammar Formalisms, MIT Press, Cambridge, Massachusetts: Bradford Books."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01048405.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01048405\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01048405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,22]],"date-time":"2024-12-22T22:44:57Z","timestamp":1734907497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01048405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,4]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,4]]}},"alternative-id":["BF01048405"],"URL":"https:\/\/doi.org\/10.1007\/bf01048405","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1995,4]]}}}