Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings /
This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1988
|
Subjects: | Computer science., Architecture, Computer., Software engineering., Computers., Algorithms., Computer logic., Computer Science., Software Engineering/Programming and Operating Systems., Computer System Implementation., Computation by Abstract Devices., Algorithm Analysis and Problem Complexity., Software Engineering., Logics and Meanings of Programs., |
Online Access: | http://dx.doi.org/10.1007/3-540-50517-2 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:214310 |
---|---|
record_format |
koha |
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. Architecture, Computer. Software engineering. Computers. Algorithms. Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Computer System Implementation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Software Engineering. Logics and Meanings of Programs. Computer science. Architecture, Computer. Software engineering. Computers. Algorithms. Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Computer System Implementation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Software Engineering. Logics and Meanings of Programs. |
spellingShingle |
Computer science. Architecture, Computer. Software engineering. Computers. Algorithms. Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Computer System Implementation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Software Engineering. Logics and Meanings of Programs. Computer science. Architecture, Computer. Software engineering. Computers. Algorithms. Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Computer System Implementation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Software Engineering. Logics and Meanings of Programs. Nori, Kesav V. editor. Kumar, Sanjeev. editor. SpringerLink (Online service) Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / |
description |
This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity. |
format |
Texto |
topic_facet |
Computer science. Architecture, Computer. Software engineering. Computers. Algorithms. Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Computer System Implementation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Software Engineering. Logics and Meanings of Programs. |
author |
Nori, Kesav V. editor. Kumar, Sanjeev. editor. SpringerLink (Online service) |
author_facet |
Nori, Kesav V. editor. Kumar, Sanjeev. editor. SpringerLink (Online service) |
author_sort |
Nori, Kesav V. editor. |
title |
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / |
title_short |
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / |
title_full |
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / |
title_fullStr |
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / |
title_full_unstemmed |
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / |
title_sort |
foundations of software technology and theoretical computer science [electronic resource] : eighth conference, pune, india december 21–23, 1988 proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1988 |
url |
http://dx.doi.org/10.1007/3-540-50517-2 |
work_keys_str_mv |
AT norikesavveditor foundationsofsoftwaretechnologyandtheoreticalcomputerscienceelectronicresourceeighthconferencepuneindiadecember21231988proceedings AT kumarsanjeeveditor foundationsofsoftwaretechnologyandtheoreticalcomputerscienceelectronicresourceeighthconferencepuneindiadecember21231988proceedings AT springerlinkonlineservice foundationsofsoftwaretechnologyandtheoreticalcomputerscienceelectronicresourceeighthconferencepuneindiadecember21231988proceedings |
_version_ |
1756269324425756672 |
spelling |
KOHA-OAI-TEST:2143102018-07-30T23:48:34ZFoundations of Software Technology and Theoretical Computer Science [electronic resource] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / Nori, Kesav V. editor. Kumar, Sanjeev. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1988.engThis volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.Planar point location revisited (A guided tour of a decade of research) -- Computing a viewpoint of a set of points inside a polygon -- Analysis of preflow push algorithms for maximum network flow -- A new linear algorithm for the two path problem on chordal graphs -- Extending planar graph algorithms to K 3,3-free graphs -- Constant-space string-matching -- Inherent nonslicibility of rectangular duals in VLSI floorplanning -- Path planning with local information -- Linear broadcast routing -- Predicting deadlock in store-and-forward networks -- On parallel sorting and addition with concurrent writes -- An optimal parallel algorithm for sorting presorted files -- Superlinear speedup in parallel state-space search -- Circuit definitions of nondeterministic complexity classes -- Non-uniform proof systems: A new framework to describe non-uniform and probabilistic complexity classes -- Padding, commitment and self-reducibility -- The complexity of a counting finite-state automaton -- A hierarchy theorem for pram-based complexity classes -- A natural deduction treatment of operational semantics -- Uniformly applicative structures, a theory of computability and polyadic functions -- A proof technique for register atomicity -- Relation level semantics -- A constructive set theory for program development -- McCarthy's amb cannot implement fair merge -- GHC — A language for a new age of parallel programming -- Accumulators: New logic variable abstractions for functional languages -- A resolution rule for well-formed formulae -- Algebraic and operational semantics of positive/negative conditional algebraic specifications -- Semi-unification -- A method to check knowledge base consistency -- Knowledgebases as structured theories -- On functional independencies -- A generic algorithm for transaction processing during network partitioning.This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.Computer science.Architecture, Computer.Software engineering.Computers.Algorithms.Computer logic.Computer Science.Software Engineering/Programming and Operating Systems.Computer System Implementation.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Software Engineering.Logics and Meanings of Programs.Springer eBookshttp://dx.doi.org/10.1007/3-540-50517-2URN:ISBN:9783540460305 |