LEADER 04885nam  22007215  450 
001 9910143455203321
005 20251116233943.0
010   $a3-540-69720-9
024 7 $a10.1007/BFb0053537
035   $a(CKB)1000000000210906
035   $a(SSID)ssj0000323279
035   $a(PQKBManifestationID)11224775
035   $a(PQKBTitleCode)TC0000323279
035   $a(PQKBWorkID)10300627
035   $a(PQKB)11226954
035   $a(DE-He213)978-3-540-69720-6
035   $a(PPN)155238043
035   $a(EXLCZ)991000000000210906
100   $a20100730d1998      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFoundations of Software Science and Computation Structures $eFirst 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 /$fedited by Maurice Nivat
205   $a1st ed. 1998.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998.
215   $a1 online resource (XI, 297 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1378
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-64300-1 
327   $aGeneralizing 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v1378
606   $aSoftware engineering
606   $aComputers
606   $aComputer logic
606   $aLogic, Symbolic and mathematical
606   $aProgramming languages (Electronic computers)
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
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   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
615  0$aSoftware engineering.
615  0$aComputers.
615  0$aComputer logic.
615  0$aLogic, Symbolic and mathematical.
615  0$aProgramming languages (Electronic computers)
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aTheory of Computation.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aComputation by Abstract Devices.
676   $a005.1
702   $aNivat$b M.$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aFoSSaCS '98
906   $aBOOK
912   $a9910143455203321
996   $aFoundations of Software Science and Computation Structures$9772187
997   $aUNINA