Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings /
This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide a forum for professional interaction between members of this research community and their counterparts in different parts of the world. The volume includes four invited papers on: - reasoning about linear constraints using parametric queries, - the parallel evaluation of classes of circuits, - a theory of commonsense visual reasoning, - natural language processing, complexity theory and logic. The 26 submitted papers are organized into sections on logic, automata and formal languages, theory of programming, parallel algorithms, geometric algorithms, concurrency, distributed computing, and semantics.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1990
|
Subjects: | Computer science., Software engineering., Computer programming., Computers., Algorithms., Computer logic., Computer Science., Theory of Computation., Software Engineering/Programming and Operating Systems., Software Engineering., Programming Techniques., Algorithm Analysis and Problem Complexity., Logics and Meanings of Programs., |
Online Access: | http://dx.doi.org/10.1007/3-540-53487-3 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:208193 |
---|---|
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. Software engineering. Computer programming. Computers. Algorithms. Computer logic. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems. Software Engineering. Programming Techniques. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Computer science. Software engineering. Computer programming. Computers. Algorithms. Computer logic. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems. Software Engineering. Programming Techniques. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. |
spellingShingle |
Computer science. Software engineering. Computer programming. Computers. Algorithms. Computer logic. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems. Software Engineering. Programming Techniques. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Computer science. Software engineering. Computer programming. Computers. Algorithms. Computer logic. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems. Software Engineering. Programming Techniques. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Nori, Kesav V. editor. Veni Madhavan, C. E. editor. SpringerLink (Online service) Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings / |
description |
This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide a forum for professional interaction between members of this research community and their counterparts in different parts of the world. The volume includes four invited papers on: - reasoning about linear constraints using parametric queries, - the parallel evaluation of classes of circuits, - a theory of commonsense visual reasoning, - natural language processing, complexity theory and logic. The 26 submitted papers are organized into sections on logic, automata and formal languages, theory of programming, parallel algorithms, geometric algorithms, concurrency, distributed computing, and semantics. |
format |
Texto |
topic_facet |
Computer science. Software engineering. Computer programming. Computers. Algorithms. Computer logic. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems. Software Engineering. Programming Techniques. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. |
author |
Nori, Kesav V. editor. Veni Madhavan, C. E. editor. SpringerLink (Online service) |
author_facet |
Nori, Kesav V. editor. Veni Madhavan, C. E. editor. SpringerLink (Online service) |
author_sort |
Nori, Kesav V. editor. |
title |
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings / |
title_short |
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings / |
title_full |
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings / |
title_fullStr |
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings / |
title_full_unstemmed |
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings / |
title_sort |
foundations of software technology and theoretical computer science [electronic resource] : tenth conference, bangalore, india december 17–19, 1990 proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1990 |
url |
http://dx.doi.org/10.1007/3-540-53487-3 |
work_keys_str_mv |
AT norikesavveditor foundationsofsoftwaretechnologyandtheoreticalcomputerscienceelectronicresourcetenthconferencebangaloreindiadecember17191990proceedings AT venimadhavanceeditor foundationsofsoftwaretechnologyandtheoreticalcomputerscienceelectronicresourcetenthconferencebangaloreindiadecember17191990proceedings AT springerlinkonlineservice foundationsofsoftwaretechnologyandtheoreticalcomputerscienceelectronicresourcetenthconferencebangaloreindiadecember17191990proceedings |
_version_ |
1756268488915156992 |
spelling |
KOHA-OAI-TEST:2081932018-07-30T23:38:52ZFoundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings / Nori, Kesav V. editor. Veni Madhavan, C. E. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1990.engThis volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide a forum for professional interaction between members of this research community and their counterparts in different parts of the world. The volume includes four invited papers on: - reasoning about linear constraints using parametric queries, - the parallel evaluation of classes of circuits, - a theory of commonsense visual reasoning, - natural language processing, complexity theory and logic. The 26 submitted papers are organized into sections on logic, automata and formal languages, theory of programming, parallel algorithms, geometric algorithms, concurrency, distributed computing, and semantics.Reasoning about linear constraints using parametric queries -- Discriminant circumscription -- Complexity of algebraic specifications -- A new method for undecidability proofs of first order theories -- Generating plans in linear logic -- Automata-theoretic techniques for image generation and compression -- Recognizable infinite tree sets and their complexity -- The expressibility of nondeterministic auxiliary stack automata and its relation to treesize bounded alternating auxiliary pushdown automata -- Towards constructive program derivation in VDM -- A new method for proving termination of AC-rewrite systems -- Efficient parallel algorithms for optical computing with the DFT primitive -- The power of collision: Randomized parallel algorithms for chaining and integer sorting -- Fast parallel algorithms for cographs -- Optimally representing euclidean space discretely for analogically simulating physical phenomena -- Optimal parallel algorithms for testing isomorphism of trees and outerplanar graphs -- Randomized parallel selection -- A fast parallel algorithm for finding a maximal bipartite set -- On the parallel evaluation of classes of circuits -- Voronoi diagrams of moving points in the plane -- Efficient algorithms for identifying all maximal isothetic empty rectangles in VLSI layout design -- On some largest empty orthoconvex polygons in a point set -- Defining process fairness for non-interleaving concurrency -- Observational logics and concurrency models -- Distributed reset -- Refinement and composition of transition-based rely-guarantee specifications with auxiliary variables -- Efficient algorithms for crash recovery in distributed systems -- A non-standard inductive semantics -- Relating full abstraction results for different programming languages -- Towards a theory of commonsense visual reasoning -- Natural language processing, complexity theory and logic.This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide a forum for professional interaction between members of this research community and their counterparts in different parts of the world. The volume includes four invited papers on: - reasoning about linear constraints using parametric queries, - the parallel evaluation of classes of circuits, - a theory of commonsense visual reasoning, - natural language processing, complexity theory and logic. The 26 submitted papers are organized into sections on logic, automata and formal languages, theory of programming, parallel algorithms, geometric algorithms, concurrency, distributed computing, and semantics.Computer science.Software engineering.Computer programming.Computers.Algorithms.Computer logic.Computer Science.Theory of Computation.Software Engineering/Programming and Operating Systems.Software Engineering.Programming Techniques.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Springer eBookshttp://dx.doi.org/10.1007/3-540-53487-3URN:ISBN:9783540463139 |