Foundations of Software Technology and Theoretical Computer Science 13th Conference, Bombay, India, December 15-17, 1993. Proceedings
Description
For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual forum for the presentation of new research results in India and abroad. This year, 119 papers from 20 countries were submitted. Each paper was reviewed by at least three reviewers, and 33 papers were selected for presentation and included in this volume, grouped into parts on type theory, parallel algorithms, term rewriting, logic and constraint logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms, and algorithms and learning theory. Also included in the volume are the five invited papers presented at theconference.
Keywords
ComputersComputer ScienceSoftware Development & EngineeringProgrammingMachine TheoryProgramming LanguagesMathematicsLogicInformation TechnologyUser InterfacesDiscrete Mathematics
1993Book
Author(s)Rudrapatna K. Shyamasundar
PublisherSpringer Science & Business Media
ISBN9783540575290
LanguageEnglish
