Foundations of Software Technology and Theoretical Computer Science de Vijay Chandru

Foundations of Software Technology and Theoretical Computer Science: 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings: Lecture Notes in Computer Science, cartea 1180

Vijay Chandru

V. Vinay

en Limba Engleză Paperback – 27 noi 1996

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.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 1020^.28 lei
Preț: 395^.25 lei
20%

Preț: 327^.36 lei
20%

Preț: 556^.96 lei
20%

Preț: 400^.77 lei
15%

Preț: 558^.12 lei
20%

Preț: 328^.94 lei
20%

Preț: 340^.04 lei
20%

Preț: 487^.46 lei
20%

Preț: 629^.71 lei
20%

Preț: 386^.08 lei
20%

Preț: 489^.11 lei
20%

Preț: 620^.33 lei
20%

Preț: 733^.68 lei
20%

Preț: 1033^.45 lei
20%

Preț: 782^.57 lei
20%

Preț: 679^.09 lei
20%

Preț: 330^.54 lei
20%

Preț: 1137^.10 lei
20%

Preț: 435^.28 lei
20%

Preț: 375^.72 lei
20%

Preț: 342^.61 lei
20%

Preț: 432^.78 lei
20%

Preț: 904^.16 lei
20%

Preț: 1391^.87 lei
20%

Preț: 373^.80 lei
20%

Preț: 400^.17 lei
20%

Preț: 1359^.66 lei
20%

Preț: 984^.64 lei
20%

Preț: 560^.93 lei
20%

Preț: 731^.97 lei
20%

Preț: 563^.29 lei
20%

Preț: 403^.00 lei
20%

Preț: 793^.92 lei
20%

Preț: 324^.19 lei
20%

Preț: 733^.68 lei
20%

Preț: 336^.86 lei
20%

Preț: 327^.36 lei
20%

Preț: 573^.45 lei
20%

Preț: 558^.53 lei
20%

Preț: 850^.42 lei
20%

Preț: 560^.93 lei
20%

Preț: 560^.93 lei
20%

Preț: 631^.96 lei
20%

Preț: 568^.70 lei
20%

Preț: 488^.90 lei
20%

Preț: 293^.24 lei

Cuprins

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 andtheir use in groundness analysis.- Graph types for monadic mobile processes.