LEADER 02204oam 2200409 450 001 9910708088903321 005 20170620104822.0 035 $a(CKB)5470000002469686 035 $a(OCoLC)990296782 035 $a(EXLCZ)995470000002469686 100 $a20170620d2017 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMarianas Trench Marine National Monument $enorthern islands submerged lands transfer to the Commonwealth of the Norhern Mariana Islands final environmental assessment, finding of no significant impact, memorandum of agreement, and patent /$fprepared by the U.S. Department of the Interior, U.S. Fish and Wildlife Service--Pacific Region 210 1$aPortland, Oregon :$cU.S. Department of the Interior, U.S. Fish & Wildlife Service,$d2017. 215 $a1 online resource (vi, ii, ii, 112 pages) $ccolor illustrations, color maps 300 $a"In cooperation with the National Oceanic and Armospheric Administration, National Marine Fisheries Service--Pacific Islands Region, Commonwealth of the Northern Marianas Islands, Department of Lands and Natural Resources, [and] Commonwealth of the Northern Marianas Islands, Bureau of Environmental and Coastal Quality." 300 $a"January 2017." 320 $aIncludes bibliographical references (pages 108-110). 517 $aMarianas Trench Marine National Monument 606 $aSubmerged lands$zNorthern Mariana Islands$zMarianas Trench Marine National Monument 607 $aMarianas Trench Marine National Monument (Northern Mariana Islands)$xEnvironmental conditions 608 $aEnvironmental impact statements.$2lcgft 615 0$aSubmerged lands 712 02$aUnited States.$bNational Marine Fisheries Service.$bPacific Islands Region. 712 02$aNorthern Mariana Islands.$bDepartment of Lands and Natural Resources. 712 02$aNorthern Mariana Islands.$bBureau of Environmental and Coastal Quality. 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910708088903321 996 $aMarianas Trench Marine National Monument$93526709 997 $aUNINA LEADER 05390nam 22007935 450 001 9910484594603321 005 20251226195421.0 010 $a3-319-08918-8 024 7 $a10.1007/978-3-319-08918-8 035 $a(CKB)3710000000219396 035 $a(SSID)ssj0001298317 035 $a(PQKBManifestationID)11751622 035 $a(PQKBTitleCode)TC0001298317 035 $a(PQKBWorkID)11241889 035 $a(PQKB)11093767 035 $a(DE-He213)978-3-319-08918-8 035 $a(MiAaPQ)EBC6285816 035 $a(MiAaPQ)EBC5610908 035 $a(Au-PeEL)EBL5610908 035 $a(OCoLC)883660405 035 $a(PPN)179925652 035 $a(EXLCZ)993710000000219396 100 $a20140701d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRewriting and Typed Lambda Calculi $eJoint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /$fedited by Gilles Dowek 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XXII, 491 p. 58 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8560 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-08917-X 327 $aProcess Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting of Copatterns -- Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams -- Predicate Abstraction of Rewrite Theories -- Unification and Logarithmic Space -- Ramsey Theorem as an Intuitionistic Property of Well Founded Relations -- A Model of Countable Nondeterminism in Guarded Type Theory -- Cut Admissibility by Saturation -- Automatic Evaluation of Context-Free Grammars (System Description) -- Tree Automata with Height Constraints between Brothers -- A Coinductive Confluence Proof for Infinitary Lambda-Calculus -- An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting -- Preciseness of Subtyping on Intersection and Union Types -- Abstract Datatypes for Real Numbers in Type Theory -- Self Types for Dependently Typed Lambda Encodings -- First-Order Formative Rules -- Automated Complexity Analysis Based on Context-Sensitive Rewriting -- Amortised Resource Analysis and Typed Polynomial Interpretations -- Confluence by Critical Pair Analysis -- Proof Terms for Infinitary Rewriting -- Construction of Retractile Proof Structures -- Local States in String Diagrams -- Reduction System for Extensional Lambda-mu Calculus -- The Structural Theory of Pure Type Systems -- Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB -- Implicational Relevance Logic is 2-ExpTime-Complete -- Near Semi-rings and Lambda Calculus -- All-Path Reachability Logic -- Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs -- Conditional Confluence (System Description) -- Nagoya Termination Tool -- Termination of Cycle Rewriting. 330 $aThis book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, and programming. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8560 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aComputer science 606 $aArtificial intelligence 606 $aMathematical logic 606 $aFormal Languages and Automata Theory 606 $aMathematics of Computing 606 $aComputer Science Logic and Foundations of Programming 606 $aSymbolic and Algebraic Manipulation 606 $aArtificial Intelligence 606 $aMathematical Logic and Foundations 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aFormal Languages and Automata Theory. 615 24$aMathematics of Computing. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Foundations. 676 $a005.131 702 $aDowek$b Gilles$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484594603321 996 $aRewriting and Typed Lambda Calculi$92830171 997 $aUNINA