05506nam 22006255 450 99646610790331620200707025906.03-540-39557-110.1007/BFb0015725(CKB)1000000000230450(SSID)ssj0000321511(PQKBManifestationID)11232823(PQKBTitleCode)TC0000321511(PQKBWorkID)10280348(PQKB)10756360(DE-He213)978-3-540-39557-7(PPN)155186884(EXLCZ)99100000000023045020121227d1985 u| 0engurnn|008mamaatxtccrAutomata, Languages and Programming[electronic resource] 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings /edited by Wilfried Brauer1st ed. 1985.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1985.1 online resource (XII, 524 p.)Lecture Notes in Computer Science,0302-9743 ;194Bibliographic Level Mode of Issuance: Monograph3-540-15650-X Vertex packing algorithms -- Linear and branching structures in the semantics and logics of reactive systems -- About rational sets of factors of a bi-infinite word -- A fair protocol for signing contracts -- The influence of key length on the area-time complexity of sorting -- Repeated synchronous snapshots and their implementation in CSP -- On total regulators generated by derivation relations -- Optimal solutions for a class of point retrieval problems -- Fractional cascading: A data structuring technique with geometric applications -- Hierarchies of one-way multihead automata languages -- Partitioning point sets in 4 dimensions -- A completeness theorem for recursively defined types -- Categorical combinatory logic -- Towards a uniform topological treatment of streams and functions on streams -- Infinite streams and finite observations in the semantics of uniform concurrency -- Imposed-functional dependencies inducing horizontal decompositions -- Characterization of high level tree transducers -- Ambiguity and transcendence -- A fast algorithm for polygon containment by translation -- Deterministic and Las Vegas primality testing algorithms -- Efficient algorithms for graphic matroid intersection and parity -- Operational semantics for order-sorted algebra -- A universal domain technique for profinite posets -- A simple proof of the Skolem-Mahler-Lech theorem -- On complete problems for NP?CoNP -- An algebraic theory of fair asynchronous communicating processes -- Hoare's logic for nondeterministic regular programs: A nonstandard completeness theorem -- Powerdomains as algebraic lattices preliminary report -- Random generation of combinatiorial structures from a uniform distribution -- Do rational equivalence relations have regular cross-sections? -- On probabilistic time and space -- The nearest neighbor problem on bounded domains -- Routing through a generalized switchbox -- On k-repetition free words generated by length uniform morphisms over a binary alphabet -- Every commutative quasirational language is regular -- A probabilistic distributed algorithm for set intersection and its analysis -- Distributed algorithms in synchronous broadcasting networks -- A context dependent equivalence between processes -- Lower bounds by kolmogorov-complexity -- A bidirectional shortest-path algorithm with good average-case behavior (preliminary version) -- Applications of an infinite squarefree CO-CFL -- Special relations in automated deduction -- Dynamic interpolation search -- Polynomial levelability and maximal complexity cores -- Finite group topology and p-adic topology for free monoids -- On the use of relational expressions in the design of efficient algorithms -- The complementation problem for Büchi automata with applications to temporal logic -- A complete compositional modal proof system for a subset of CCS -- On matrix multiplication using array processors -- Optimal parallel pattern matching in strings -- Compositionality and concurrent networks: Soundness and completeness of a proofsystem.Lecture Notes in Computer Science,0302-9743 ;194Computer programmingComputersMathematical logicAlgorithmsProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Computer programming.Computers.Mathematical logic.Algorithms.Programming Techniques.Computation by Abstract Devices.Mathematical Logic and Formal Languages.Algorithm Analysis and Problem Complexity.005.11Brauer Wilfriededthttp://id.loc.gov/vocabulary/relators/edtBOOK996466107903316Automata, languages and programming339738UNISA