01211nam0 22002773i 450 VAN008197420221202125739.23534-435-7007-0ERR20110215d1988 |0itac50 baengDE|||| |||||Plagiotropis Pfitzer and Tropidoneis Cleve, a summary accountT. B. B. PaddockBerlinCramer1988152 p. XXXVIII c. di tav.23 cm001VAN00819572001 Bibliotheca diatomologica210 BerlinCramer16BerlinVANL000066PaddockT. B. B.VANV067956724071CramerVANV112720650Paddock, T.B.B.Paddock, T. B. B.VANV206017ITSOL20221209RICABIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHEIT-CE0101VAN17VAN0081974BIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE17CONS Kd4 17BIB699 20110215 BuonoPlagiotropis Pfitzer and Tropidoneis Cleve, a summary account1420872UNISOB04913nam 22007215 450 991014345520332120200701133441.03-540-69720-910.1007/BFb0053537(CKB)1000000000210906(SSID)ssj0000323279(PQKBManifestationID)11224775(PQKBTitleCode)TC0000323279(PQKBWorkID)10300627(PQKB)11226954(DE-He213)978-3-540-69720-6(PPN)155238043(EXLCZ)99100000000021090620100730d1998 u| 0engurnn|008mamaatxtccrFoundations of Software Science and Computation Structures[electronic resource] First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /edited by Maurice Nivat1st ed. 1998.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1998.1 online resource (XI, 297 p.) Lecture Notes in Computer Science,0302-9743 ;1378Bibliographic Level Mode of Issuance: Monograph3-540-64300-1 Generalizing domain theory -- A cook's tour of equational axiomatizations for prefix iteration -- The WHILE hierarchy of program schemes is infinite -- Analysis of a guard condition in type theory -- An event structure semantics for P/T contextual nets: Asymmetric event structures -- Pumping Lemmas for timed automata -- Asynchronous Observations of Processes -- Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling -- Partial metrics and co-continuous valuations -- Mobile ambients -- Rational term rewriting -- The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations -- Net refinement by pullback rewriting -- On piecewise testable, starfree, and recognizable picture languages -- Functor categories and two-level languages -- Deciding properties for message sequence charts -- The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages -- Deterministic rational transducers and random sequences -- Resource based models for asynchrony.This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory.Lecture Notes in Computer Science,0302-9743 ;1378Software engineeringComputersComputer logicLogic, Symbolic and mathematicalProgramming languages (Electronic computers)Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Software engineering.Computers.Computer logic.Logic, Symbolic and mathematical.Programming languages (Electronic computers)Software Engineering/Programming and Operating Systems.Theory of Computation.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Programming Languages, Compilers, Interpreters.Computation by Abstract Devices.005.1Nivat Mauriceedthttp://id.loc.gov/vocabulary/relators/edtFoSSaCS '98BOOK9910143455203321Foundations of Software Science and Computation Structures772187UNINA