Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings /

Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings /

Show other versions (1)

This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '95, held in Bangalore, India in December 1995. The volume presents 31 full revised research papers selected from a total of 106 submissions together with full papers of four invited talks. Among the topics covered are algorithms, software technology, functional programming theory, distributed algorithms, term rewriting and constraint logic programming, complexity theory, process algebras, computational geometry, and temporal logics and verification theory.

Saved in:
Bibliographic Details
Main Authors: Thiagarajan, P. S. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
Subjects:Computer science., Computers., Algorithms., Computer logic., Mathematical logic., Combinatorics., Computer Science., Theory of Computation., Computation by Abstract Devices., Algorithm Analysis and Problem Complexity., Logics and Meanings of Programs., Mathematical Logic and Formal Languages.,
Online Access:http://dx.doi.org/10.1007/3-540-60692-0
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:199603
record_format koha
spelling KOHA-OAI-TEST:1996032018-07-30T23:26:27ZFoundations of Software Technology and Theoretical Computer Science [electronic resource] : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings / Thiagarajan, P. S. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1995.engThis book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '95, held in Bangalore, India in December 1995. The volume presents 31 full revised research papers selected from a total of 106 submissions together with full papers of four invited talks. Among the topics covered are algorithms, software technology, functional programming theory, distributed algorithms, term rewriting and constraint logic programming, complexity theory, process algebras, computational geometry, and temporal logics and verification theory.Looking for MUM and DAD: Text-text comparisons do help -- Branch and bound on the network model -- A near optimal algorithm for the extended cow-path problem in the presence of relative errors -- Efficient algorithms for vertex arboricity of planar graphs -- A condition for the three colourability of planar locally path graphs -- A framework for the specification of reactive and concurrent systems in Z -- Synthesizing different development paradigms: Combining top-down with bottom-up reasoning about distributed systems -- Verifying part of the ACCESS.bus protocol using PVS -- Reusing batch parsers as incremental parsers -- The expressive power of indeterminate primitives in asynchronous computation -- The transformation calculus -- Equational axiomatization of bicoercibility for polymorphic types -- From causal consistency to sequential consistency in shared memory systems -- Observation of software for distributed systems with RCL -- Partiality and approximation schemes for local consistency in networks of constraints -- Maximal extensions of simplification orderings -- Average polynomial time is hard for exponential time under sn-reductions -- On self-testing without the generator bottleneck -- Observing behaviour categorically -- An algorithm for reducing binary branchings -- On the complexity of bisimilarity for value-passing processes -- On the expressive power of CCS -- Polarized name passing -- Path balance heuristic for self-adjusting binary search trees -- Pattern matching in compressed texts -- All-pairs min-cut in sparse networks -- Minimizing space usage in evaluation of expression trees -- Smooth surfaces for multi-scale shape representation -- On parallel complexity of planar triangulations -- Computing a largest empty anchored cylinder, and related problems -- Computing hierarchies of clusters from the euclidean minimum spanning tree in linear time -- Determinizing Büchi asynchronous automata -- Achilles and the tortoise climbing up the arithmetical hierarchy -- Generalized temporal verification diagrams -- Model checking of probabilistic and nondeterministic systems.This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '95, held in Bangalore, India in December 1995. The volume presents 31 full revised research papers selected from a total of 106 submissions together with full papers of four invited talks. Among the topics covered are algorithms, software technology, functional programming theory, distributed algorithms, term rewriting and constraint logic programming, complexity theory, process algebras, computational geometry, and temporal logics and verification theory.Computer science.Computers.Algorithms.Computer logic.Mathematical logic.Combinatorics.Computer Science.Theory of Computation.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Combinatorics.Springer eBookshttp://dx.doi.org/10.1007/3-540-60692-0URN:ISBN:9783540492634
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Computers.
Algorithms.
Computer logic.
Mathematical logic.
Combinatorics.
Computer Science.
Theory of Computation.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Combinatorics.
Computer science.
Computers.
Algorithms.
Computer logic.
Mathematical logic.
Combinatorics.
Computer Science.
Theory of Computation.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Combinatorics.
spellingShingle Computer science.
Computers.
Algorithms.
Computer logic.
Mathematical logic.
Combinatorics.
Computer Science.
Theory of Computation.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Combinatorics.
Computer science.
Computers.
Algorithms.
Computer logic.
Mathematical logic.
Combinatorics.
Computer Science.
Theory of Computation.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Combinatorics.
Thiagarajan, P. S. editor.
SpringerLink (Online service)
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings /
description This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '95, held in Bangalore, India in December 1995. The volume presents 31 full revised research papers selected from a total of 106 submissions together with full papers of four invited talks. Among the topics covered are algorithms, software technology, functional programming theory, distributed algorithms, term rewriting and constraint logic programming, complexity theory, process algebras, computational geometry, and temporal logics and verification theory.
format Texto
topic_facet Computer science.
Computers.
Algorithms.
Computer logic.
Mathematical logic.
Combinatorics.
Computer Science.
Theory of Computation.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Combinatorics.
author Thiagarajan, P. S. editor.
SpringerLink (Online service)
author_facet Thiagarajan, P. S. editor.
SpringerLink (Online service)
author_sort Thiagarajan, P. S. editor.
title Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings /
title_short Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings /
title_full Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings /
title_fullStr Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings /
title_full_unstemmed Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings /
title_sort foundations of software technology and theoretical computer science [electronic resource] : 15th conference bangalore, india, december 18–20, 1995 proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1995
url http://dx.doi.org/10.1007/3-540-60692-0
work_keys_str_mv AT thiagarajanpseditor foundationsofsoftwaretechnologyandtheoreticalcomputerscienceelectronicresource15thconferencebangaloreindiadecember18201995proceedings
AT springerlinkonlineservice foundationsofsoftwaretechnologyandtheoreticalcomputerscienceelectronicresource15thconferencebangaloreindiadecember18201995proceedings
_version_ 1756267313766596608

Similar Items