default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th FSTTCS 1984: Bangalore, India
- Mathai Joseph, R. K. Shyamasundar:
Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings. Lecture Notes in Computer Science 181, Springer 1984, ISBN 3-540-13883-8
Keynote Address
- Robert A. Kowalski:
Logic for Knowledge Representation. 1-12
Session 1: Specification and Programming
- T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso:
Logical Specification and Implementation. 13-30 - Ramaswamy Ramanujam, R. K. Shyamasundar:
Process Specification of Logic Programs. 31-43 - Asis K. Goswami, Lalit M. Patnaik:
Functional Programming System Revisited. 44-59 - Thomas J. Myers, A. Toni Cohen:
Models and Transformations for Nondeterministic Extensions of Functional Programming. 60-88
Invited Talk
- Mogens Nielsen, P. S. Thiagarajan:
Degrees of Non-Determinism and Concurrency: A Petri Net View. 89-117
Session 2: Distributed Systems
- Gadi Taubenfeld, Nissim Francez:
Proof Rules for Communication Abstractions (Abstract). 118 - N. Natarajan:
A Distributed Algorithm for Detecting Communication Deadlocks. 119-135 - Saumya K. Debray, Ariel J. Frank, Scott A. Smolka:
On the Existence and Construction of Robust Communication Protocals for Unreliable Channels. 136-151 - Bhargab B. Bhattacharya, Suranjan Ghose, Bhabani P. Sinha, Pradip K. Srimani:
Heuristic Search Approach to Optimal Routing in a Distributed Architecture. 152-164
Session 3: Theory
- Meurig Beynon:
Replacement in Monotone Boolean Networks: An Algebraic Perspective. 165-178 - Stathis Zachos:
A New Characterization of BPP. 179-187 - Kamala Krithivasan:
Treating Terminals as Function Values of Time. 188-201
Invited Talk
- Rohit Parikh:
Logics of Knowledge, Games and Dynamic Logic. 202-222
Session 4: Program Construction
- Malcolm P. Atkinson, Ronald Morrison:
Persistent First Class Procedures are Enough. 223-240 - Rudi Studer:
Abstraction Concepts for Modeling Screen Oriented Dialogue Interfaces. 241-258
Invited Talk
- Rajiv Kane, Sartaj Sahni:
VLSI Systems For Design Rule Checks. 259-278
Session 5: VLSI
- Christos Levcopoulos, Andrzej Lingas:
Bounds on the Length of Convex Partitions of Polygons. 279-295 - I. V. Ramakrishnan:
On Mapping Cube Graphs onto VLSI Arrays. 296-316 - Subir Kumar Ghosh:
A Linear-Time Algorithm for Determining the Intersection Type of Two Star Polygons. 317-330
Session 6: Data Bases
- Gael N. Buckley, Abraham Silberschatz:
Eliminating Cascading Rollback in Structured Database. 331-343 - V. S. Lakshmanan, N. Chandrasekharan, C. E. Veni Madhavan:
Recognition and Top-Down Generation of beta-Acyclic Database Schemes. 344-366 - Sushil Jajodia:
Universal and Representative Instances Using Unmarked Nulls. 367-378 - F. de Santis, Maria I. Sessa:
On Some Computational Problems Related to Data Base Coding (Abstract). 379
Session 7: Algorithms and Complexity
- Bruno Poizat:
Generic Oracles (Abstract). 380 - C. E. Veni Madhavan:
Approximation Algorithm for Maximum Independent Set in Planar Tiangle-Free Graphs. 381-392 - Mireille Régnier:
Grid File Algorithms: An Analysis in the Biased Case. 393-418 - Asim K. Pal, A. Bagchi:
On the Mean Weight Balance Factor of Binary Trees. 419-434 - P. Gupta, G. P. Bhattacharjee:
An Efficient Algorithm for Random Sampling without Replacement. 435-465
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
