LEADER 06192nam 22007575 450 001 996466158603316 005 20200702111544.0 010 $a3-540-49410-3 024 7 $a10.1007/3-540-60043-4 035 $a(CKB)1000000000234292 035 $a(SSID)ssj0000321126 035 $a(PQKBManifestationID)11262211 035 $a(PQKBTitleCode)TC0000321126 035 $a(PQKBWorkID)10262839 035 $a(PQKB)10340628 035 $a(DE-He213)978-3-540-49410-2 035 $a(PPN)155190938 035 $a(EXLCZ)991000000000234292 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgebraic Methodology and Software Technology$b[electronic resource] $e4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings /$fedited by V.S. Alagar, Maurice Nivat 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (XV, 597 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v936 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60043-4 327 $aEquational logic as a tool -- Teaching mathematics to software engineers -- The role of education and training in the industrial application of formal methods -- Information algebras -- Verification of logic programs with delay declarations -- An introduction to category-based equational logic -- Knowledge based computation -- Order-sorted algebraic specifications with higher-order functions -- Proving the correctness of behavioural implementations -- On the decidability of process equivalences for the ?-calculus -- Detecting isomorphisms of modular specifications with diagrams -- Higher-order narrowing with convergent systems -- Context-free event domains are recognizable -- Encoding natural semantics in Coq -- Mongruences and cofree coalgebras -- Semantic typing for parametric algebraic specifications -- Causality and true concurrency: A data-flow analysis of the Pi-Calculus -- Verification in continuous time by discrete reasoning -- Dynamic matrices and the cost analysis of concurrent programs -- Petri nets, traces, and local model checking -- An algebraic framework for developing and maintaining real-time systems -- Logical foundations for compositional verification and development of concurrent programs in UNITY -- CPO models for infinite term rewriting -- Completeness results for two-sorted metric temporal logics -- On mechanizing proofs within a complete proof system for Unity -- Automated reasoning about parallel algorithms using powerlists -- Representing, verifying and applying software development steps using the PVS system -- An algebraic development technique for information systems -- A framework for machine-assisted user interface verification -- Specification of the Unix file system: A comparative case study -- A Calculus of Countable Broadcasting Systems -- Symbolic timing devices -- An algebraic construction of the well-founded model -- Confluence in concurrent constraint programming -- A generic algebra for data collections based on constructive logic -- Partial order programming (Revisited) -- SPIKE: a system for automatic inductive proofs -- SEAMLESS: Knowledge based evolutionary system synthesis -- An object-oriented front-end for deductive databases -- The SuRE programming framework -- A declarative system for multi-database interoperability -- The METAGEN system. 330 $aThis volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995. It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v936 606 $aComputers 606 $aSoftware engineering 606 $aApplied mathematics 606 $aEngineering mathematics 606 $aComputer logic 606 $aMathematical logic 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aApplications of Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M13003 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 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aApplied mathematics. 615 0$aEngineering mathematics. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aTheory of Computation. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aApplications of Mathematics. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aSoftware Engineering. 676 $a005.1/01/512 702 $aAlagar$b V.S$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNivat$b Maurice$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Algebraic Methodology and Software Technology 906 $aBOOK 912 $a996466158603316 996 $aAlgebraic Methodology and Software Technology$9774301 997 $aUNISA LEADER 05113nam 2200913 450 001 9910794553603321 005 20220529010201.0 010 $a3-96869-114-8 024 7 $a10.31819/9783968691145 035 $a(CKB)4100000011961368 035 $a(DE-B1597)589498 035 $a(DE-B1597)9783968691145 035 $a(MiAaPQ)EBC6641520 035 $a(Au-PeEL)EBL6641520 035 $a(OCoLC)1257078964 035 $a(MiAaPQ)EBC6782042 035 $a(OCoLC)1256403387 035 $a(EXLCZ)994100000011961368 100 $a20220529d2021 uy 0 101 0 $aspa 135 $aur||#|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$a2021 $ela odisea del 23-F /$fedited by Ken Benson and Pepa Novell 210 1$aMadrid, Spain ;$aFrankfurt am Main, Germany :$cIberoamericana :$cVervuert,$d[2021] 210 4$d©2021 215 $a1 online resource (239 p.) 225 1 $aCasa de la Riqueza Estudios de la Cultura de Espan?a; v62 300 $aIncludes index. 311 0 $a84-9192-214-8 327 $tFront matter --$tLa Casa de la Riqueza Estudios de la Cultura de España --$tAgradecimientos --$tÍndice --$tIntroducción --$t?Con un golpe de pantalla se llega más lejos que con un golpe de Estado?. La Transición como espectáculo televisivo en La dimisión (2014), de Javier Pérez Andújar --$t?Se sienten, coño?: 23F, la versión de Tejero de Carla Guimarães y Pepe Macías o la teatralización de la memoria histórica --$tEl cuerpo del delito: transfiguraciones, transiciones, transdiscursividades en Una mala noche la tiene cualquiera de Eduardo Mendicutti y en Cuéntame cómo pasó (T14, Caps. 235 y 236) --$t23-F o la sátira neobarroca en la España del capitalismo de ficción --$tEl 23-F de Operación Palace. El (in)movilismo de una ?alegría? televisada --$tLa paradójica literariedad de Anatomía de un instante, de Javier Cercas --$tLas movidas del 23-F. Parodia camp y nostalgia punk en Una mala noche la tiene cualquiera y El Calentito --$tLos destellos del pim pam pum. Presencia del vacío mítico en Positivo --$tSobre los autores 330 $aEste volumen es una reflexión sobre cómo el 23-F, un evento fundamental en la historia española contemporánea y en la Transición, ha ido transformándose en su narrativa, y cómo dicho cambio se ha gestado en la producción cultural y artística a lo largo de cuatro décadas. Dividido en ocho capítulos, se analizan novelas, películas, series de televisión, documentales, obras de teatro e instalaciones escultóricas bajo la perspectiva de qué obras reaccionan y cuáles accionan, entendiendo como obras reactivas aquellas que continúan con el statu quo sin generar perspectivas distintas, frente a las obras activas que posibilitan nuevos enfoques y aproximaciones alternativas con el paso del tiempo. En definitiva, esta edición es una invitación a que el/la lector/a revisite las narrativas establecidas sobre el 23-F y asimismo se acerque a otros modos de (re)presentarlo, para tener una experiencia más completa del acontecimiento y sus implicaciones. 410 0$aCasa de la Riqueza Estudios de la Cultura de Espan?a; v62. 606 $aLiterature and history$zSpain 606 $aPolitics in literature 606 $aPolitics in motion pictures 606 $aSpanish literature$y20th century$xThemes, motives 606 $aMotion pictures$zSpain$xPlots, themes, etc 606 $aLitte?rature et histoire$zEspagne 606 $aPolitique au cine?ma 606 $aLitte?rature espagnole$y20e sie?cle$xThe?mes, motifs 606 $aCine?ma$zEspagne$xIntrigues, the?mes, etc 606 $aMotion pictures$xPlots, themes, etc$2fast$3(OCoLC)fst01027350 606 $aLiterature and history$2fast$3(OCoLC)fst01000077 606 $aArt$xThemes, motives$2fast$3(OCoLC)fst00815381 606 $aPolitics and government$2fast$3(OCoLC)fst01919741 607 $aSpain$xPolitics and government$y1975-1982 607 $aSpain$xHistory$y1975- 608 $aEssay 608 $aessays.$2aat 608 $aEssays.$2fast 608 $aHistory.$2fast 608 $aEssays.$2lcgft 608 $aEssais.$2rvmgf 615 0$aLiterature and history 615 0$aPolitics in literature. 615 0$aPolitics in motion pictures. 615 0$aSpanish literature$xThemes, motives. 615 0$aMotion pictures$xPlots, themes, etc. 615 6$aLitte?rature et histoire 615 6$aPolitique au cine?ma. 615 6$aLitte?rature espagnole$xThe?mes, motifs. 615 6$aCine?ma$xIntrigues, the?mes, etc. 615 7$aMotion pictures$xPlots, themes, etc. 615 7$aLiterature and history. 615 7$aArt$xThemes, motives. 615 7$aPolitics and government. 676 $a946.083 686 $aIP 1840$qSEPA$2rvk 702 $aNovell$b Pepa 702 $aBenson$b Ken 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910794553603321 996 $a2021$93865018 997 $aUNINA