Formal Grammar : (Record no. 387182)

MARC details
000 -LEADER
fixed length control field 06582cam a2200877Ii 4500
001 - CONTROL NUMBER
control field on1114336246
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220128125347.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu|||unuuu
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 190829s2019 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency GW5XE
Modifying agency OCLCO
-- VT2
-- UPM
-- UKMGB
-- OCLCF
-- EBLCP
-- UX1
-- OCLCQ
-- SNK
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBB9F5390
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 019492582
Source Uk
019 ## -
-- 1115082544
-- 1122901261
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783662596487
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3662596482
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3662596474
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783662596470
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783662596494
Qualifying information (print)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3662596490
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783662596470
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-662-59648-7
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000066058393
029 1# - (OCLC)
OCLC library identifier UKMGB
System control number 019492582
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)1114336246
Canceled/invalid control number (OCoLC)1115082544
-- (OCoLC)1122901261
037 ## - SOURCE OF ACQUISITION
Stock number com.springer.onix.9783662596487
Source of stock number/acquisition Springer Nature
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number P98
Item number .I58 2019eb
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYA
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code MAT018000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYA
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.131
Edition number 23
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3/5
Edition number 23
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element FG (Conference)
Number of part/section/meeting (24rd :
Date of meeting 2019 :
Location of meeting Riga, Latvia)
9 (RLIN) 67904
245 10 - TITLE STATEMENT
Title Formal Grammar :
Remainder of title 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019 : proceedings /
Statement of responsibility, etc. Annie Foret, Greg Kobele, Sylvain Pogodalla (eds.).
246 3# - VARYING FORM OF TITLE
Title proper/short title FG 2019
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Berlin :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice [2019]
264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice ©2019
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource :
Other physical details illustrations (some color)
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Encoding format PDF
Source rda
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 11668
490 1# - SERIES STATEMENT
Series statement FoLLI publications on logic, language and information
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Online resource; title from PDF title page (SpringerLink, viewed August 29, 2019).
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
520 ## - SUMMARY, ETC.
Summary, etc. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 24th International Conference on Formal Grammar, FG 2019, held in Riga, Latvia, in August 2019, in conjunction with the 31st European Summer School in Logic, Language and Information, ESSLI 2019. The 7 full papers presented were carefully reviewed and selected from 11 submissions. They present new and original research on formal grammar, mathematical linguistics, and the application of formal and mathematical methods to the study of natural language and focus on topics such as formal and computational phonology, morphology, syntax, semantics, and pragmatics; model-theoretic and proof-theoretic methods in linguistics; logical aspects of linguistic structure; constraint-based and resource-sensitive approaches to grammar; learnability of formal grammar; integration of stochastic and symbolic models of grammar; foundational, methodological, and architectural issues in grammar and linguistics; and mathematical foundations of statistical approaches to linguistic analysis.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Intro; Preface; Organization; What Inductive Biases Enable Human-Like Syntactic Generalization? (Abstract of Invited Talk); Contents; A Purely Surface-Oriented Approach to Handling Arabic Morphology; 1 Introduction; 2 Arabic Morphology: Theoretical and Computational Approaches; 3 A Purely Surface-Oriented Approach; 3.1 Glued Strings; 3.2 Occurrence; 3.3 Morphological Class; 3.4 Discontinuity, Reduplication and Handlers; 3.5 Morphs and Morphemes; 4 Arabic Morphology Within the Proposed Framework; 4.1 Root and Pattern Matching; 4.2 Morphophonemic Alternations; 5 Results and Future Work
505 8# - FORMATTED CONTENTS NOTE
Formatted contents note 3.3 TSL as the Composition of Three Transductions3.4 Input-Sensitive TSL; 4 Formal Analysis; 4.1 Relations to Other Subregular Classes; 4.2 Closure Properties; 5 Intersection Closure of TSL and ITSL; 5.1 Intersection Closure of TSL Languages; 5.2 Intersection Closure of ITSL Languages; 6 Learnability Considerations; 7 Conclusions; References; Quantificational Subordination as Anaphora to a Function; 1 Introduction; 2 Type-Theoretical Semantics; 3 The Proposal; 3.1 Syntax and Semantics; 3.2 Derivations; 4 Telescoping; 4.1 Covert Subordination; 4.2 Constraints; 5 Comparison with TTS
505 8# - FORMATTED CONTENTS NOTE
Formatted contents note 6 Discussion and Future WorkReferences; Undecidability of a Newly Proposed Calculus for CatLog3; 1 Introduction; 2 The Calculus; 3 The Bracket-Free System and the Projection; 4 Undecidability Proof; 5 Conclusion; References; Proof-Theoretic Aspects of Hybrid Type-Logical Grammars; 1 Introduction; 2 Natural Deduction; 3 Normalisation; 4 Proof Nets; 4.1 Proof Structures; 4.2 Abstract Proof Structures; 4.3 Structural Rules and Contractions; 5 Correctness of the Proof Net Calculus; 6 Complexity; 7 Conclusion; References; On the Computational Complexity of Head Movement and Affix Hopping
505 8# - FORMATTED CONTENTS NOTE
Formatted contents note 1 Introduction2 MG Without Head Movement; 2.1 Parsing with Succinct MG; 3 MG with Head Movement; 4 Improved Parsing of MG with Head Movement; 5 ATB Head Movement; 6 Affix Hopping; 7 Conclusion; References; Author Index
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computational linguistics
Form subdivision Congresses.
9 (RLIN) 17577
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical linguistics
Form subdivision Congresses.
9 (RLIN) 31669
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal languages
Form subdivision Congresses.
9 (RLIN) 14896
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computational linguistics.
Source of heading or term fast
Authority record control number (OCoLC)fst00871998
9 (RLIN) 809
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal languages.
Source of heading or term fast
Authority record control number (OCoLC)fst00932922
9 (RLIN) 14900
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical linguistics.
Source of heading or term fast
Authority record control number (OCoLC)fst01012082
9 (RLIN) 31670
655 #0 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
9 (RLIN) 396
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
9 (RLIN) 396
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term fast
Authority record control number (OCoLC)fst01423772
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Bernardi, Raffaella,
Relator term editor.
9 (RLIN) 42634
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Kobele, Greg,
Relator term editor.
9 (RLIN) 64531
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pogodalla, Sylvain,
Relator term editor.
9 (RLIN) 41981
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783662596470
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783662596494
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 11668.
9 (RLIN) 947775
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science.
Name of part/section of a work Lecture notes in artificial intelligence.
-- FoLLI publications on logic, language and information.
9 (RLIN) 22689
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title LNCS sublibrary.
Number of part/section of a work SL 1,
Name of part/section of a work Theoretical computer science and general issues.
9 (RLIN) 20736
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link-springer-com.libraryproxy.ist.ac.at/10.1007/978-3-662-59648-7">https://link-springer-com.libraryproxy.ist.ac.at/10.1007/978-3-662-59648-7</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL5918336
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     EBook e-Library e-Library 26/06/2020   26/06/2020 26/06/2020 eBook

Powered by Koha