LEADER 05643nam 22007215 450 001 996466131103316 005 20200706223832.0 010 $a3-540-48282-2 024 7 $a10.1007/11916277 035 $a(CKB)1000000000283913 035 $a(SSID)ssj0000318695 035 $a(PQKBManifestationID)11249851 035 $a(PQKBTitleCode)TC0000318695 035 $a(PQKBWorkID)10336055 035 $a(PQKB)11028466 035 $a(DE-He213)978-3-540-48282-6 035 $a(MiAaPQ)EBC3068545 035 $a(PPN)123139430 035 $a(EXLCZ)991000000000283913 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic for Programming, Artificial Intelligence, and Reasoning$b[electronic resource] $e13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /$fedited by Miki Hermann, Andrei Voronkov 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XIV, 592 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v4246 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-48281-4 320 $aIncludes bibliographical references and index. 327 $aHigher-Order Termination: From Kruskal to Computability -- Deciding Satisfiability of Positive Second Order Joinability Formulae -- SAT Solving for Argument Filterings -- Inductive Decidability Using Implicit Induction -- Matching Modulo Superdevelopments Application to Second-Order Matching -- Derivational Complexity of Knuth-Bendix Orders Revisited -- A Characterization of Alternating Log Time by First Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems -- On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus -- Modular Cut-Elimination: Finding Proofs or Counterexamples -- An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf -- A Semantic Completeness Proof for TaMeD -- Saturation Up to Redundancy for Tableau and Sequent Calculi -- Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints -- Combining Supervaluation and Degree Based Reasoning Under Vagueness -- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes -- A Local System for Intuitionistic Logic -- CIC : Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions -- Reducing Nondeterminism in the Calculus of Structures -- A Relaxed Approach to Integrity and Inconsistency in Databases -- On Locally Checkable Properties -- Deciding Key Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems -- Verification Condition Generation Via Theorem Proving -- An Incremental Approach to Abstraction-Carrying Code -- Context-Sensitive Multivariant Assertion Checking in Modular Programs -- Representation of Partial Knowledge and Query Answering in Locally Complete Databases -- Sequential, Parallel, and Quantified Updates of First-Order Structures -- Representing Defaults and Negative Information Without Negation-as-Failure -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries on Compressed Documents -- Boolean Rings for Intersection-Based Satisfiability -- Theory Instantiation -- Splitting on Demand in SAT Modulo Theories -- Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis -- Automatic Combinability of Rewriting-Based Satisfiability Procedures -- To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in -- Lemma Learning in the Model Evolution Calculus. 410 0$aLecture Notes in Artificial Intelligence ;$v4246 606 $aArtificial intelligence 606 $aComputer programming 606 $aSoftware engineering 606 $aComputer logic 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 702 $aHermann$b Miki$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVoronkov$b Andrei$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aLPAR (Conference) 906 $aBOOK 912 $a996466131103316 996 $aLogic for Programming, Artificial Intelligence, and Reasoning$9772423 997 $aUNISA LEADER 00877nam a2200253 i 4500 001 991000565609707536 005 20020503185618.0 008 990126s1991 it ita 020 $a8813172249 035 $ab10096504-39ule_inst 035 $aLE02518374$9ExL 040 $aFac. Economia$bita 082 0 $a338.88 100 1 $aGrassivaro, Francesco$0123752 245 13$aLe imprese multinazionali /$cFrancesco Grassivaro 260 $aPadova :$bCEDAM,$c1991 300 $avi, 183 p. ;$c24 cm 650 4$aImprese multinazionali 907 $a.b10096504$b23-07-18$c27-06-02 912 $a991000565609707536 945 $aLE025 ECO 338.8 GRA02.02$g1$i2025000053038$lle025$nCatalogato 2018$o-$pE0.00$q-$rl$s- $t0$u12$v2$w12$x0$y.i10112455$z27-06-02 996 $aImprese multinazionali$9196868 997 $aUNISALENTO 998 $ale025$b01-01-99$cm$da $e-$fita$git $h3$i1 LEADER 04658nam 2200685 a 450 001 9910955732403321 005 20240516094940.0 010 $a1-283-42459-2 010 $a9786613424594 010 $a90-272-7858-X 024 7 $a10.1075/upal.23 035 $a(CKB)2670000000139613 035 $a(EBL)829509 035 $a(OCoLC)769344104 035 $a(SSID)ssj0000635110 035 $a(PQKBManifestationID)11441915 035 $a(PQKBTitleCode)TC0000635110 035 $a(PQKBWorkID)10643730 035 $a(PQKB)11322940 035 $a(MiAaPQ)EBC829509 035 $a(Au-PeEL)EBL829509 035 $a(CaPaEBR)ebr10524114 035 $a(DE-B1597)719300 035 $a(DE-B1597)9789027278586 035 $a(EXLCZ)992670000000139613 100 $a19871009d1990 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aExploring Postmodernism $eselected papers presented at a workshop on Postmodernism at the XIth International Comparative Literature Congress, Paris, 20-24 August 1985 /$fedited by Matei Calinescu and Douwe Fokkema 205 $a1st ed. 210 $aAmsterdam ;$aPhiladelphia $cJ. Benjamins$d1990 215 $a1 online resource (277 pages) 225 1 $aUtrecht publications in general and comparative literature,$x0167-8175 ;$v23 311 0 $a90-272-2199-5 320 $aIncludes bibliographical references and index. 327 $aEXPLORING POSTMODERNISM; Editorial page; Title page; Copyright page; Preface; Table of contents; General Problems; 1. Introductory Remarks: Postmodernism, the Mimetic and Theatrical Fallacies; REFERENCES; 2. Pluralism in Postmodern Perspective; NOTES; REFERENCES; 3. Teleology in Postmodern Fiction; REFERENCE; 4. Allegory, Hermeneutics, and Postmodernism; NOTES; REFERENCES; 5. Postmodern Italy: Notes on the ""Crisis of Reason"", ""Weak Thought,"" and The Name of the Rose; NOTES; REFERENCES; BIBLIOGRAPHICAL NOTE; Analytical Criticism 327 $a6. New Nouns for Old: ""Language"" Poetry, Language Game, and the Pleasure of the Text REFERENCES; 7. Samuel Beckett and the Postmodernism Controversy; REFERENCES; 8. The Intrusive Author in British Postmodernist Fiction: The Cases of Alasdair Gray and Martin Amis; NOTE; REFERENCES; 9. Postmodern Characterization and the Intrusion of Language; REFERENCES; 10. Popular Genre Conventions in Postmodern Fiction: The Case of the Western; REFERENCES; 11. Reading One/Self Samuel Beckett, Thomas Bernhard, Peter Handke,John Barth, Alain Robbe-Grillet; 1. Crisis Situation in Art and Life 327 $a2. Reading as the Basis of Writing or, The Dialogic Imagination; 3. The Paradox of Narrative Refiguration; REFERENCES; Michel Leiris' Autobiography La Re?gle du jeu and Postmodernism; 1. Introduction; 2. Permutation; 3. Correction; 4. Conclusion; NOTES; REFERENCES; 13. Narrative Discourse in Postmodernist Texts:The Conventions of the Novel and the Multiplication of Narrative Instances; The extra diegetic level; The intra- and hypodiegetic levels; The confounding of narrative levels; REFERENCES; Concluding Observations: Is There a Future for Research on Postmodernism?; REFERENCES; Notes on the Contributors References; Index 330 $aThe great diversity of contexts in which the term Postmodernism is currently encountered reflects the remarkable success of a coinage that has been in circulation for only about forty years. It has been used by philosophers, sociologists, art critics and literary historians to become, finally, a household word in the language of advertising and politics. Before letting it fade to a derelict cliche?, an attempt is made in this volume of essays to use its potential as a cultural concept for the analysis and understanding of contemporary literature and thought. 410 0$aUtrecht publications in general and comparative literature ;$v23. 606 $aLiterature, Modern$y20th century$xHistory and criticism$vCongresses 606 $aCriticism$xHistory$y20th century$vCongresses 606 $aPostmodernism (Literature)$vCongresses 615 0$aLiterature, Modern$xHistory and criticism 615 0$aCriticism$xHistory 615 0$aPostmodernism (Literature) 676 $a809/.04 701 $aCa?linescu$b Matei$0686079 701 $aFokkema$b Douwe Wessel$f1931-2011.$0198984 712 02$aInternational Comparative Literature Association.$bCongress$d(11th :$f1985 :$eParis, France) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910955732403321 996 $aExploring Postmodernism$94375610 997 $aUNINA