Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Algebraic Methodology and Software Technology [[electronic resource] ] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers / / edited by Michael Johnson, Dusko Pavlovic
| Algebraic Methodology and Software Technology [[electronic resource] ] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers / / edited by Michael Johnson, Dusko Pavlovic |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 238 p. 46 illus., 10 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Artificial intelligence Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Programming Techniques |
| Soggetto genere / forma | Conference papers and proceedings. |
| ISBN | 3-642-17796-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Invited paper -- pt. 2. Contributed research papers -- pt. 3. System demonstrations. |
| Record Nr. | UNISA-996466032603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Methodology and Software Technology [[electronic resource] ] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings / / edited by Michael Johnson, Varmo Vene
| Algebraic Methodology and Software Technology [[electronic resource] ] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings / / edited by Michael Johnson, Varmo Vene |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 392 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Computer programming Computer science—Mathematics Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Techniques Symbolic and Algebraic Manipulation |
| ISBN | 3-540-35636-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program Schemes: Past, Present, and Future -- Monad-Based Logics for Computational Effects -- Contributed Papers -- State Space Representation for Verification of Open Systems -- Data Movement Optimisation in Point-Free Form -- Measuring the Speed of Information Leakage in Mobile Processes -- Formal Islands -- Some Programming Languages for Logspace and Ptime -- Opaque Predicates Detection by Abstract Interpretation -- DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications -- Model Transformations Incorporating Multiple Views -- Hyperfinite Approximations to Labeled Markov Transition Systems -- State Space Reduction of Rewrite Theories Using Invisible Transitions -- The Essence of Multitasking -- The Substitution Vanishes -- Decomposing Interactions -- Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues -- Assessing the Expressivity of Formal Specification Languages -- Fork Algebras as a Sufficiently Rich Universal Institution -- Realizability Criteria for Compositional MSC -- Quantales and Temporal Logics -- Fractional Semantics -- Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic -- Testing Semantics: Connecting Processes and Process Logics -- Tableaux for Lattices -- Accelerated Modal Abstractions of Labelled Transition Systems -- A Compositional Semantics of Plan Revision in Intelligent Agents -- System Descriptions -- ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams -- A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker -- Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework. |
| Record Nr. | UNISA-996466026403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings / / edited by Michael Johnson, Varmo Vene
| Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings / / edited by Michael Johnson, Varmo Vene |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 392 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Computer programming Computer science—Mathematics Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Techniques Symbolic and Algebraic Manipulation |
| ISBN | 3-540-35636-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program Schemes: Past, Present, and Future -- Monad-Based Logics for Computational Effects -- Contributed Papers -- State Space Representation for Verification of Open Systems -- Data Movement Optimisation in Point-Free Form -- Measuring the Speed of Information Leakage in Mobile Processes -- Formal Islands -- Some Programming Languages for Logspace and Ptime -- Opaque Predicates Detection by Abstract Interpretation -- DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications -- Model Transformations Incorporating Multiple Views -- Hyperfinite Approximations to Labeled Markov Transition Systems -- State Space Reduction of Rewrite Theories Using Invisible Transitions -- The Essence of Multitasking -- The Substitution Vanishes -- Decomposing Interactions -- Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues -- Assessing the Expressivity of Formal Specification Languages -- Fork Algebras as a Sufficiently Rich Universal Institution -- Realizability Criteria for Compositional MSC -- Quantales and Temporal Logics -- Fractional Semantics -- Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic -- Testing Semantics: Connecting Processes and Process Logics -- Tableaux for Lattices -- Accelerated Modal Abstractions of Labelled Transition Systems -- A Compositional Semantics of Plan Revision in Intelligent Agents -- System Descriptions -- ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams -- A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker -- Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework. |
| Record Nr. | UNINA-9910483385003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic Methodology and Software Technology [[electronic resource] ] : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / / edited by Michael Johnson
| Algebraic Methodology and Software Technology [[electronic resource] ] : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / / edited by Michael Johnson |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 602 p.) |
| Disciplina | 005.1/01/512 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Computer logic Special purpose computers Mathematical logic Software Engineering/Programming and Operating Systems Theory of Computation Software Engineering Logics and Meanings of Programs Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages |
| ISBN | 3-540-69661-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software configuration with information systems -- Head-tactics simplification -- Iteration 2-theories: Extended Abstract -- Model checking and fault tolerance -- Deadlock analysis for a fault-tolerant system -- From sequential to multi-threaded Java: An event-based operational semantics -- Permissive subsorted partial logic in CASL -- Specification of timing constraints within the circal process algebra -- On the specification and verification of performance properties for a timed process algebra -- Abstract interpretation of algebraic polynomial systems (Extended abstract) -- Modular refinement and model building -- A linear temporal logic approach to objects with transactions -- Software design, specification, and verification: Lessons learned from the Rether case study -- Refinement rules for real-time multi-tasking programs -- Rigorous object-oriented modeling: Integrating formal and informal notations -- Completeness in abstract interpretation: A domain perspective -- Floating point verification in HOL light: The exponential function -- Verification of distributed real-time and fault-tolerant protocols -- Invariants, bisimulations and the correctness of coalgebraic refinements -- On bisimulation, fault-monotonicity and provable fault-tolerance -- Span(Graph): A categorical algebra of transition systems -- Representing place/transition nets in Span(Graph) -- Invariants of parameterized binary tree networks as greatest fixpoints -- Modelling specification construction by successive approximations -- On partial validation of logic programs -- Preservation and reflection in specification -- Case studies in using a meta-method for formal method integration -- The update calculus -- Selective attribute elimination for categorical data specifications -- ATM switch design: Parametric high-level modeling and formal verification -- The hidden function question revisited -- Synchronization of logics with mixed rules: Completeness preservation -- Symbolic bisimulation for Full LOTOS -- Algebraic composition and refinement of proofs -- Ensuring streams flow -- Extending process languages with time -- Parametric analysis of computer systems -- CAMILA: Prototyping and refinement of constructive specifications -- PAMELA+PVS -- The circal system -- A refinement-type checker for standard ML -- Recording HOL proofs in a structured browsable format -- Analysing multi-agent system traces with IDaF -- DOVE: A tool for design oriented verification and evaluation -- The B method and the B toolkit -- An algebraic language processing environment -- The Cogito development system. |
| Record Nr. | UNISA-996465392003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Methodology and Software Technology [[electronic resource] ] : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / / edited by Michael Johnson
| Algebraic Methodology and Software Technology [[electronic resource] ] : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / / edited by Michael Johnson |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 602 p.) |
| Disciplina | 005.1/01/512 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Computer logic Special purpose computers Mathematical logic Software Engineering/Programming and Operating Systems Theory of Computation Software Engineering Logics and Meanings of Programs Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages |
| ISBN | 3-540-69661-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software configuration with information systems -- Head-tactics simplification -- Iteration 2-theories: Extended Abstract -- Model checking and fault tolerance -- Deadlock analysis for a fault-tolerant system -- From sequential to multi-threaded Java: An event-based operational semantics -- Permissive subsorted partial logic in CASL -- Specification of timing constraints within the circal process algebra -- On the specification and verification of performance properties for a timed process algebra -- Abstract interpretation of algebraic polynomial systems (Extended abstract) -- Modular refinement and model building -- A linear temporal logic approach to objects with transactions -- Software design, specification, and verification: Lessons learned from the Rether case study -- Refinement rules for real-time multi-tasking programs -- Rigorous object-oriented modeling: Integrating formal and informal notations -- Completeness in abstract interpretation: A domain perspective -- Floating point verification in HOL light: The exponential function -- Verification of distributed real-time and fault-tolerant protocols -- Invariants, bisimulations and the correctness of coalgebraic refinements -- On bisimulation, fault-monotonicity and provable fault-tolerance -- Span(Graph): A categorical algebra of transition systems -- Representing place/transition nets in Span(Graph) -- Invariants of parameterized binary tree networks as greatest fixpoints -- Modelling specification construction by successive approximations -- On partial validation of logic programs -- Preservation and reflection in specification -- Case studies in using a meta-method for formal method integration -- The update calculus -- Selective attribute elimination for categorical data specifications -- ATM switch design: Parametric high-level modeling and formal verification -- The hidden function question revisited -- Synchronization of logics with mixed rules: Completeness preservation -- Symbolic bisimulation for Full LOTOS -- Algebraic composition and refinement of proofs -- Ensuring streams flow -- Extending process languages with time -- Parametric analysis of computer systems -- CAMILA: Prototyping and refinement of constructive specifications -- PAMELA+PVS -- The circal system -- A refinement-type checker for standard ML -- Recording HOL proofs in a structured browsable format -- Analysing multi-agent system traces with IDaF -- DOVE: A tool for design oriented verification and evaluation -- The B method and the B toolkit -- An algebraic language processing environment -- The Cogito development system. |
| Record Nr. | UNINA-9910144902403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Nigerian Rice Economy : Policy Options for Transforming Production, Marketing, and Trade / / Hiroyuki Takeshima, Michael Johnson, Kwabena Gyimah-Brempong
| The Nigerian Rice Economy : Policy Options for Transforming Production, Marketing, and Trade / / Hiroyuki Takeshima, Michael Johnson, Kwabena Gyimah-Brempong |
| Pubbl/distr/stampa | Philadelphia : , : University of Pennsylvania Press, , [2016] |
| Descrizione fisica | 1 online resource (321 p.) |
| Disciplina | 338.1/731809669 |
| Soggetto topico | Rice trade - Nigeria |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-8122-9375-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Tables and Figures -- Acronyms and Abbreviations -- Foreword -- Acknowledgments -- Chapter 1. Rice in the Nigerian Economy and Agricultural Policies -- Chapter 2. Evolution of Rice Consumption and Demand Patterns -- Chapter 3. Production Systems: Biophysical and Economic Environment and Constraints -- Chapter 4. Policy Options for Inducing a Supply Response -- Chapter 5. Postharvest Processing, Marketing, and Competitiveness of Domestic Rice -- Chapter 6. Policy Options for Modernizing the Milling Sector -- Chapter 7. Rice Imports, Prices, and Challenges for Trade Policy -- Chapter 8. Economywide Effects and Implications of Alternative Policies -- Chapter 9. Transforming the Rice Sector -- Appendix A. A Brief Chronology of Nigeria's Political History -- Appendix B. The Linear Expenditure System Model -- Appendix C. Additional Tables to Chapter 3 -- Appendix D. Supply Response Analysis -- Appendix E. A Mathematical Derivation of the Rice Milling Model for Nigeria -- Appendix F. A Stylized Rice Tariff Model -- Appendix G. Agricultural Sectors included in the Economywide Multimarket Model -- References -- Authors -- Index |
| Record Nr. | UNINA-9910466017003321 |
| Philadelphia : , : University of Pennsylvania Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Nigerian Rice Economy : Policy Options for Transforming Production, Marketing, and Trade / / Hiroyuki Takeshima, Michael Johnson, Kwabena Gyimah-Brempong
| The Nigerian Rice Economy : Policy Options for Transforming Production, Marketing, and Trade / / Hiroyuki Takeshima, Michael Johnson, Kwabena Gyimah-Brempong |
| Pubbl/distr/stampa | Philadelphia : , : University of Pennsylvania Press, , [2016] |
| Descrizione fisica | 1 online resource (321 p.) |
| Disciplina | 338.1/731809669 |
| Soggetto topico | Rice trade - Nigeria |
| Soggetto non controllato |
Business
Economics Political Science Public Policy |
| ISBN | 0-8122-9375-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Tables and Figures -- Acronyms and Abbreviations -- Foreword -- Acknowledgments -- Chapter 1. Rice in the Nigerian Economy and Agricultural Policies -- Chapter 2. Evolution of Rice Consumption and Demand Patterns -- Chapter 3. Production Systems: Biophysical and Economic Environment and Constraints -- Chapter 4. Policy Options for Inducing a Supply Response -- Chapter 5. Postharvest Processing, Marketing, and Competitiveness of Domestic Rice -- Chapter 6. Policy Options for Modernizing the Milling Sector -- Chapter 7. Rice Imports, Prices, and Challenges for Trade Policy -- Chapter 8. Economywide Effects and Implications of Alternative Policies -- Chapter 9. Transforming the Rice Sector -- Appendix A. A Brief Chronology of Nigeria's Political History -- Appendix B. The Linear Expenditure System Model -- Appendix C. Additional Tables to Chapter 3 -- Appendix D. Supply Response Analysis -- Appendix E. A Mathematical Derivation of the Rice Milling Model for Nigeria -- Appendix F. A Stylized Rice Tariff Model -- Appendix G. Agricultural Sectors included in the Economywide Multimarket Model -- References -- Authors -- Index |
| Record Nr. | UNINA-9910798555703321 |
| Philadelphia : , : University of Pennsylvania Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Nigerian Rice Economy : Policy Options for Transforming Production, Marketing, and Trade / / Hiroyuki Takeshima, Michael Johnson, Kwabena Gyimah-Brempong
| The Nigerian Rice Economy : Policy Options for Transforming Production, Marketing, and Trade / / Hiroyuki Takeshima, Michael Johnson, Kwabena Gyimah-Brempong |
| Pubbl/distr/stampa | Philadelphia : , : University of Pennsylvania Press, , [2016] |
| Descrizione fisica | 1 online resource (321 p.) |
| Disciplina | 338.1/731809669 |
| Soggetto topico | Rice trade - Nigeria |
| Soggetto non controllato |
Business
Economics Political Science Public Policy |
| ISBN | 0-8122-9375-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Tables and Figures -- Acronyms and Abbreviations -- Foreword -- Acknowledgments -- Chapter 1. Rice in the Nigerian Economy and Agricultural Policies -- Chapter 2. Evolution of Rice Consumption and Demand Patterns -- Chapter 3. Production Systems: Biophysical and Economic Environment and Constraints -- Chapter 4. Policy Options for Inducing a Supply Response -- Chapter 5. Postharvest Processing, Marketing, and Competitiveness of Domestic Rice -- Chapter 6. Policy Options for Modernizing the Milling Sector -- Chapter 7. Rice Imports, Prices, and Challenges for Trade Policy -- Chapter 8. Economywide Effects and Implications of Alternative Policies -- Chapter 9. Transforming the Rice Sector -- Appendix A. A Brief Chronology of Nigeria's Political History -- Appendix B. The Linear Expenditure System Model -- Appendix C. Additional Tables to Chapter 3 -- Appendix D. Supply Response Analysis -- Appendix E. A Mathematical Derivation of the Rice Milling Model for Nigeria -- Appendix F. A Stylized Rice Tariff Model -- Appendix G. Agricultural Sectors included in the Economywide Multimarket Model -- References -- Authors -- Index |
| Record Nr. | UNINA-9910806116203321 |
| Philadelphia : , : University of Pennsylvania Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pro Microsoft Power BI administration : creating a consistent, compliant, and secure corporate platform for business intelligence / / AÌsgeir Gunnarsson and Michael Johnson
| Pro Microsoft Power BI administration : creating a consistent, compliant, and secure corporate platform for business intelligence / / AÌsgeir Gunnarsson and Michael Johnson |
| Autore | AÌsgeir Gunnarsson |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | New York, New York State : , : APress, , [2020] |
| Descrizione fisica | 1 online resource (XXI, 291 p. 115 illus.) |
| Disciplina | 650.0285 |
| ISBN | 1-4842-6567-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I. Governance -- 1. Introduction to Governance and Governance Strategies -- 2. Power BI Licensing -- 3. Collaboration -- 4. Laws and Policies -- 5. Application Lifecycle Management -- 6. Training. -7. Documentation.-.-Part II. Administration -- 8. Introduction to Power BI Administration -- 9. Managing the Tenant -- 10. Administering Power BI Capacities -- 11. Workspace Administration -- 12. Managing Users and Security -- 13. Datasets & Dataflows -- 14. On-premises Data Gateway -- 15. Power BI Administration Tools -- 16. Monitoring. |
| Record Nr. | UNINA-9910427045103321 |
AÌsgeir Gunnarsson
|
||
| New York, New York State : , : APress, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Semantics and Pragmatics of Quotation / / edited by Paul Saka, Michael Johnson
| The Semantics and Pragmatics of Quotation / / edited by Paul Saka, Michael Johnson |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (VIII, 382 p. 148 illus.) |
| Disciplina | 080.9 |
| Collana | Perspectives in Pragmatics, Philosophy & Psychology |
| Soggetto topico |
Language and languages—Philosophy
Semantics Pragmatics Philosophy of Language |
| ISBN | 3-319-68747-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I. Use & Mention -- Scare-Quoting and Incorporation, Mark McCullagh -- Blah, blah, blah: Quasi-Quotation and Unquotation, Paul Saka -- Use-Mention Confusions in “Sloppy, Colloquial Speech”, Marga Reimer -- A Bridge from the Use-Mention Distinction to Natural Language Processing, Shomir Wilson -- Part II. Quotation Unified -- Unity in the Variety of Quotation, Kirk Ludwig & Greg Ray -- Semantics vs. Pragmatics in Impure Quotation, Mario Gómez-Torrente -- Reference and Reference-Fixing in Pure Quotation, Manuel García-Carpintero -- Quotation in Dialogue, Eleni Gregoromichelaki -- Part III. New Directions -- The Pragmatics of Attraction: Explaining Unquotation in Direct and Free Indirect Discourse, Emar Maier -- Quotation through History: A Historical Case for the Proper Treatment of Quotation, Michael Johnson -- Ideo- and Auto-Reflexive Quotation, Wayne A. Davis -- Referential Analysis of Quotation, Dale Jacquette -- Monsters and I: The Case of Mixed Quotation, Kasia M. Jaszczolt and Minyao Huang. |
| Record Nr. | UNINA-9910255212603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||