default search action
Search dblp for Publications
export results for "toc:db/conf/fsttcs/fsttcs84.bht:"
@inproceedings{DBLP:conf/fsttcs/AtkinsonM84, author = {Malcolm P. Atkinson and Ronald Morrison}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Persistent First Class Procedures are Enough}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {223--240}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_75}, doi = {10.1007/3-540-13883-8\_75}, timestamp = {Wed, 11 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/AtkinsonM84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Beynon84, author = {Meurig Beynon}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Replacement in Monotone Boolean Networks: An Algebraic Perspective}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {165--178}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_71}, doi = {10.1007/3-540-13883-8\_71}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Beynon84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BhattacharyaGSS84, author = {Bhargab B. Bhattacharya and Suranjan Ghose and Bhabani P. Sinha and Pradip K. Srimani}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Heuristic Search Approach to Optimal Routing in a Distributed Architecture}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {152--164}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_70}, doi = {10.1007/3-540-13883-8\_70}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/BhattacharyaGSS84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BuckleyS84, author = {Gael N. Buckley and Abraham Silberschatz}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Eliminating Cascading Rollback in Structured Database}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {331--343}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_81}, doi = {10.1007/3-540-13883-8\_81}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/BuckleyS84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/DebrayFS84, author = {Saumya K. Debray and Ariel J. Frank and Scott A. Smolka}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {On the Existence and Construction of Robust Communication Protocals for Unreliable Channels}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {136--151}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_69}, doi = {10.1007/3-540-13883-8\_69}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/DebrayFS84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Gosh84, author = {Subir Kumar Ghosh}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {A Linear-Time Algorithm for Determining the Intersection Type of Two Star Polygons}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {317--330}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_80}, doi = {10.1007/3-540-13883-8\_80}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Gosh84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/GoswamiP84, author = {Asis K. Goswami and Lalit M. Patnaik}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Functional Programming System Revisited}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {44--59}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_64}, doi = {10.1007/3-540-13883-8\_64}, timestamp = {Thu, 19 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/GoswamiP84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/GuptaB84, author = {P. Gupta and G. P. Bhattacharjee}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {An Efficient Algorithm for Random Sampling without Replacement}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {435--465}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_89}, doi = {10.1007/3-540-13883-8\_89}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/GuptaB84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Jajodia84, author = {Sushil Jajodia}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Universal and Representative Instances Using Unmarked Nulls}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {367--378}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_83}, doi = {10.1007/3-540-13883-8\_83}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Jajodia84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/KaneS84, author = {Rajiv Kane and Sartaj Sahni}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {{VLSI} Systems For Design Rule Checks}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {259--278}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_77}, doi = {10.1007/3-540-13883-8\_77}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/KaneS84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Kowalski84, author = {Robert A. Kowalski}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Logic for Knowledge Representation}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {1--12}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_61}, doi = {10.1007/3-540-13883-8\_61}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Kowalski84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Krithivasan84, author = {Kamala Krithivasan}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Treating Terminals as Function Values of Time}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {188--201}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_73}, doi = {10.1007/3-540-13883-8\_73}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Krithivasan84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/LakshmananCM84, author = {V. S. Lakshmanan and N. Chandrasekharan and C. E. Veni Madhavan}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Recognition and Top-Down Generation of beta-Acyclic Database Schemes}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {344--366}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_82}, doi = {10.1007/3-540-13883-8\_82}, timestamp = {Mon, 29 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/LakshmananCM84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/LevcopoulosL84, author = {Christos Levcopoulos and Andrzej Lingas}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Bounds on the Length of Convex Partitions of Polygons}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {279--295}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_78}, doi = {10.1007/3-540-13883-8\_78}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/LevcopoulosL84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Madhavan84, author = {C. E. Veni Madhavan}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Approximation Algorithm for Maximum Independent Set in Planar Tiangle-Free Graphs}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {381--392}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_86}, doi = {10.1007/3-540-13883-8\_86}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Madhavan84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/MaibaumSV84, author = {T. S. E. Maibaum and M. R. Sadler and Paulo A. S. Veloso}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Logical Specification and Implementation}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {13--30}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_62}, doi = {10.1007/3-540-13883-8\_62}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/MaibaumSV84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/MyersC84, author = {Thomas J. Myers and A. Toni Cohen}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Models and Transformations for Nondeterministic Extensions of Functional Programming}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {60--88}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_65}, doi = {10.1007/3-540-13883-8\_65}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/MyersC84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Natarajan84, author = {N. Natarajan}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {A Distributed Algorithm for Detecting Communication Deadlocks}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {119--135}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_68}, doi = {10.1007/3-540-13883-8\_68}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Natarajan84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/NielsenT84, author = {Mogens Nielsen and P. S. Thiagarajan}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Degrees of Non-Determinism and Concurrency: {A} Petri Net View}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {89--117}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_66}, doi = {10.1007/3-540-13883-8\_66}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/NielsenT84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/PalB84, author = {Asim K. Pal and A. Bagchi}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {On the Mean Weight Balance Factor of Binary Trees}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {419--434}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_88}, doi = {10.1007/3-540-13883-8\_88}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/PalB84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Parikh84, author = {Rohit Parikh}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Logics of Knowledge, Games and Dynamic Logic}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {202--222}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_74}, doi = {10.1007/3-540-13883-8\_74}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Parikh84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Poizat84, author = {Bruno Poizat}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Generic Oracles (Abstract)}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {380}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_85}, doi = {10.1007/3-540-13883-8\_85}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Poizat84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Ramakrishnan84, author = {I. V. Ramakrishnan}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {On Mapping Cube Graphs onto {VLSI} Arrays}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {296--316}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_79}, doi = {10.1007/3-540-13883-8\_79}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Ramakrishnan84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/RamanujamS84, author = {Ramaswamy Ramanujam and R. K. Shyamasundar}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Process Specification of Logic Programs}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {31--43}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_63}, doi = {10.1007/3-540-13883-8\_63}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/RamanujamS84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Regnier84, author = {Mireille R{\'{e}}gnier}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Grid File Algorithms: An Analysis in the Biased Case}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {393--418}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_87}, doi = {10.1007/3-540-13883-8\_87}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Regnier84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/SantisS84, author = {F. de Santis and Maria I. Sessa}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {On Some Computational Problems Related to Data Base Coding (Abstract)}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {379}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_84}, doi = {10.1007/3-540-13883-8\_84}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/SantisS84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Studer84, author = {Rudi Studer}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Abstraction Concepts for Modeling Screen Oriented Dialogue Interfaces}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {241--258}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_76}, doi = {10.1007/3-540-13883-8\_76}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Studer84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/TaubenfeldF84, author = {Gadi Taubenfeld and Nissim Francez}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Proof Rules for Communication Abstractions (Abstract)}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {118}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_67}, doi = {10.1007/3-540-13883-8\_67}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/TaubenfeldF84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Zachos84, author = {Stathis Zachos}, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {A New Characterization of {BPP}}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, pages = {179--187}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8\_72}, doi = {10.1007/3-540-13883-8\_72}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Zachos84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fsttcs/1984, editor = {Mathai Joseph and R. K. Shyamasundar}, title = {Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {181}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-13883-8}, doi = {10.1007/3-540-13883-8}, isbn = {3-540-13883-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/1984.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.