05572nam 22007455 450 99646597620331620200704170626.03-540-49631-910.1007/3-540-62034-6(CKB)1000000000234570(SSID)ssj0000323293(PQKBManifestationID)11937902(PQKBTitleCode)TC0000323293(PQKBWorkID)10296804(PQKB)10569931(DE-He213)978-3-540-49631-1(PPN)155233203(EXLCZ)99100000000023457020121227d1996 u| 0engurnn|008mamaatxtccrFoundations of Software Technology and Theoretical Computer Science[electronic resource] 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings /edited by Vijay Chandru, V. Vinay1st ed. 1996.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1996.1 online resource (XIII, 395 p.) Lecture Notes in Computer Science,0302-9743 ;1180Bibliographic Level Mode of Issuance: Monograph3-540-62034-6 Circuit complexity before the dawn of the new millennium -- A lambda calculus with letrecs and barriers -- Tables -- Mechanized formal methods: Progress and prospects -- The parameter space of the d-step conjecture -- On the complexity of approximating Euclidean traveling salesman tours and minimum spanning trees -- Efficient computation of rectilinear geodesic voronoi neighbor in presence of obstacles -- Weak bisimulation and model checking for Basic Parallel Processes -- Testing processes for efficiency -- Regularity is decidable for normed PA processes in polynomial time -- Dynamic maintenance of shortest path trees in simple polygons -- Close approximations of minimum rectangular coverings -- A new competitive algorithm for agent searching in unknown streets -- On the design of hybrid control systems using automata models -- Constraint retraction in FD -- Winskel is (almost) right -- An optimal deterministic algorithm for online b-matching -- Tight bounds for prefetching and buffer management algorithms for parallel I/O systems -- Complexity of the gravitational method for linear programming -- Optimal and information theoretic syntactic Pattern Recognition involving traditional and transposition errors -- Minimal relative normalization in orthogonal expression reduction systems -- Trace consistency and inevitability -- Finite state implementations of knowledge-based programs -- Higher-order proof by consistency -- Advocating ownership -- Non-cancellative Boolean circuits: A generalization of monotone Boolean circuits -- Limitations of the QRQW and EREW PRAM models -- Pinpointing computation with modular queries in the Boolean hierarchy -- Characterization of the principal type of normal forms in an intersection type system -- Correcting type errors in the Curry System -- Immediate fixpoints and their use in groundness analysis -- Graph types for monadic mobile processes.This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS '96, held in Hyderabad, India, in December 1996. The volume presents 28 revised full papers selected from a total of 98 submissions; also included are four invited contributions. The papers are organized in topical sections on computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.Lecture Notes in Computer Science,0302-9743 ;1180ComputersSoftware engineeringComputer logicAlgorithmsMathematical logicComputer graphicsTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XAlgorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computer Graphicshttps://scigraph.springernature.com/ontologies/product-market-codes/I22013Computers.Software engineering.Computer logic.Algorithms.Mathematical logic.Computer graphics.Theory of Computation.Software Engineering/Programming and Operating Systems.Logics and Meanings of Programs.Algorithm Analysis and Problem Complexity.Mathematical Logic and Formal Languages.Computer Graphics.004.0151Chandru Vijayedthttp://id.loc.gov/vocabulary/relators/edtVinay Vedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465976203316Foundations of software technology and theoretical computer science383921UNISA