000 04332mam a2200373 a 4500
001 1910665
003 BD-DhUL
005 20140806153653.0
008 970122s1996 gw 100 0 eng d
020 _a3540620346
035 _a(OCoLC)ocm36242624
035 _a(NNC)1910665
040 _aCUS
_cCUS
_dOrLoB-B
_dBD-DhUL
082 _a005.3
_bFOU
245 0 0 _aFoundations of software technology and theoretical computer science :
_b16th conference, Hyderabad, India, December 18-20, 1996 : proceedings /
_cV. Chandru, V. Vinay, eds.
260 _aBerlin ;
_aNew York :
_bSpringer,
_cc1996.
300 _axi, 386 p. :
_bill. ;
_c24 cm.
490 1 _aLecture notes in computer science ;
_v1180
500 _a"FST and TCS 16"--Cover.
500 _a"The proceedings of the Sixteenth Annual Conference on Foundations of Software Technology and Theoretical Computer Science"--Pref.
504 _aIncludes bibliographical references and index.
505 0 0 _tCircuit Complexity before the Dawn of the New Millennium /
_rEric Allender --
_tA Lambda Calculus with Letrecs and Barriers /
_rArvind, Jan-Willem Maessen and Rishiyur S. Nikhil [et al.] --
_tTables /
_rJ. Ian Munro --
_tMechanized Formal Methods: Progress and Prospects /
_rJohn Rushby --
_tThe Parameter Space of the d-step Conjecture /
_rJ. C. Lagarias, N. Prabhu and J. A. Reeds --
_tOn the Complexity of Approximating Euclidean Traveling Salesman Tours and Minimum Spanning Trees /
_rG. Das, S. Kapoor and M. Smid --
_tEfficient Computation of Rectilinear Geodesic Voronoi Neighbor in Presence of Obstacles /
_rP. Mitra and S. C. Nandy --
_tWeak Bisimulation and Model Checking for Basic Parallel Processes /
_rR. Mayr --
_tTesting Processes for Efficiency /
_rK. Jain and S. Arun-Kumar --
_tRegularity is Decidable for Normed PA Processes in Polynomial Time /
_rA. Kucera --
_tDynamic Maintenance of Shortest Path Trees in Simple Polygons /
_rS. Kapoor and T. Singh --
505 8 0 _tClose Approximations of Minimum Rectangular Coverings /
_rC. Levcopoulos and J. Gudmundsson --
_tA New Competitive Algorithm for Agent Searching in Unknown Streets /
_rP. Dasgupta, P. P. Chakrabarti and S. C. DeSarkar --
_tOn the Design of Hybrid Control Systems Using Automata Models /
_rD. V. Hung and W. Ji --
_tConstraint Retraction in FD /
_rP. Codognet, D. Diaz and F. Rossi --
_tWinskel is (Almost) Right: Towards a Mechanized Semantics Textbooks /
_rT. Nipkow --
_tAn Optimal Deterministic Algorithm for Online b-Matching /
_rB. Kalyanasundaram and K. Pruhs --
_tTight Bounds for Prefetching and Buffer Management Algorithms for Parallel I/O Systems /
_rP. J. Varman and R. M. Verma --
_tComplexity of the Gravitational Method for Linear Programming /
_rT. L. Morin, N. Prabhu and Z. Zhang --
_tOptimal and Information Theoretic Syntactic Pattern Recognition Involving Traditional and Transposition Errors /
_rB. J. Oommen and R. K. S. Loke --
505 8 0 _tMinimal Relative Normalization in Orthogonal Expression Reduction Systems /
_rJ. Galuert and Z. Khashdashvili --
_tTrace Consistency and Inevitability /
_rR. Ramanujam --
_tFinite State Implementations of Knowledge-Based Programs /
_rR. van der Meyden --
_tHigher-Order Proof by Consistency /
_rH. Linnestad, C. Prehofer and O. Lysne --
_tAdvocating Ownership /
_rH. Fernau, K.-J. Lange and K. Reinhardt --
_tNon-cancellative Boolean Circuits: A Generalization of Monotone Boolean Circuits /
_rR. Sengupta and H. Venkateswaran --
_tLimitations of the QRQW and EREW PRAM Models /
_rM. Kutylowski and K. Lorys --
_tPinpointing Computation with Modular Queries in the Boolean Hierarchy /
_rM. Agrawal, R. Beigel and T. Thierauf --
_tCharacterization of Principal Type of Normal Forms in an Intersection Type System /
_rE. Sayag and M. Mauny --
_tCorrecting Type Errors in the Curry System /
_rM. Gandhe, G. Venkatesh and A. Sanyal --
_tImmediate Fixpoints and Their Use in Groundness Analysis /
_rH. Sondergaard --
505 8 0 _tGraph Types for Monadic Mobile Processes /
_rN. Yoshida.
650 0 _aComputer software
_vCongresses.
650 0 _aComputer science
_vCongresses.
700 1 _aChandru, Vijay,
_d1953-
700 1 _aVinay, V.
711 2 _aConference on Foundations of Software Technology and Theoretical Computer Science
_n(16th :
_d1996 :
_cHyderabad, India)
830 0 _aLecture notes in computer science ;
_v1180.
900 _aAUTH
_bTOC
942 _2ddc
_cBK
999 _c981
_d981