@incollection{Kowalski/84,
AUTHOR = {Kowalski, R.A.},
TITLE = {Logic for knowledge representation},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {1-12},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Maibaum-Sadler-Veloso/84,
AUTHOR = {Maibaum, T.S.E. and Sadler, M.R. and Veloso, P.A.S.},
TITLE = {Logical specification and implementation},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {13-30},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Ramanujam-Shyamasundar/84,
AUTHOR = {Ramanujam, R. and Shyamasundar, R.K.},
TITLE = {Process specification of logic programs},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {31-43},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Goswami-Patnaik/84,
AUTHOR = {Goswami, Asis K. and Patnaik, L.M.},
TITLE = {Functional programming systems revisited},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {44-59},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Myers-Cohen/84,
AUTHOR = {Myers, Thomas J. and Cohen, A. Toni},
TITLE = {Models and transformations for nondeterministic extensions of functional programming},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {60-88},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Nielsen-Thiagarajan/84,
AUTHOR = {Nielsen, M. and Thiagarajan, P.S.},
TITLE = {Degrees of non-determinism and concurrency: A Petri net view},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {89-117},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Taubenfeld-Francez/84,
AUTHOR = {Taubenfeld, Gad and Francez, Nissim},
TITLE = {Proof rules for communication abstractions},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {118-118},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
NOTE = {see page number 443-465},
}
@incollection{Natarajan/84,
AUTHOR = {Natarajan, N.},
TITLE = {A distributed algorithm for detecting communication deadlocks},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {119-135},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Debray-Frank-Smolka/84,
AUTHOR = {Debray, Saumya K. and Frank, Ariel J. and Smolka, Scott A.},
TITLE = {On the existence and construction of robust communication protocols for unreliable channels},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {136-151},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Bhattacharya-Ghose-Sinha-Srimani/84,
AUTHOR = {Bhattacharya, Bhargab B. and Ghose, Suranjan and Sinha, Bhabani P. and Srimani, Pradip K.},
TITLE = {Heuristic search approach to optimal routing in a distributed architecture},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {152-164},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Beynon/84a,
AUTHOR = {Beynon, Meurig},
TITLE = {Replacement in monotone Boolean networks: An algebraic perspective},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {165-178},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Zachos-Heller/84,
AUTHOR = {Zachos, Stathis and Heller, Hans},
TITLE = {A new characterization of BPP},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {179-187},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Krithivasan-Das/84,
AUTHOR = {Krithivasan, Kamala and Das, Anindya},
TITLE = {Treating terminals as function values of time},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {188-201},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Parikh/84,
AUTHOR = {Parikh, Rohit},
TITLE = {Logics of knowledge, games and dynamic logic},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {202-222},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Atkinson-Morrison/84,
AUTHOR = {Atkinson, Malcolm P. and Morrison, Ronald},
TITLE = {Persistent first class procedures are enough},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {223-240},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_75},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Studer/84,
AUTHOR = {Studer, R.},
TITLE = {Abstraction concepts for modeling screen oriented dialogue interfaces},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {241-258},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Kane-Sahni/84,
AUTHOR = {Kane, Rajiv and Sahni, Sartaj},
TITLE = {VLSI systems for design rule checks},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {259-278},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Levcopoulos-Lingas/84a,
AUTHOR = {Levcopoulos, Christos and Lingas, Andrzej},
TITLE = {Bounds on the length of convex partitions of polygons},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {279-295},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Ramakrishnan-Varman/84,
AUTHOR = {Ramakrishnan, I.V. and Varman, P.J.},
TITLE = {On mapping cube graphs onto VLSI arrays},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {296-316},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_79},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Ghosh/84,
AUTHOR = {Ghosh, S.K.},
TITLE = {A linear-time algorithm for determining the intersection type of two star polygons},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {317-330},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Buckley-Silberschatz/84,
AUTHOR = {Buckley, Gael N. and Silberschatz, A.},
TITLE = {Eliminating cascading rollback in structured databases},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {331-343},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Lakshmanan-Chandraskaran-Veni_Madhavan/84,
AUTHOR = {Lakshmanan, V.S. and Chandraskaran, N. and Veni Madhavan, C.E.},
TITLE = {Recognition and top-down generation of $\beta$-acyclic database schemes},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {344-366},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Jajodia/84,
AUTHOR = {Jajodia, Sushil},
TITLE = {Universal and representative instances using unmarked nulls},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {367-378},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{de_Santis-Sessa/84,
AUTHOR = {de Santis, F. and Sessa, M.I.},
TITLE = {On some computational problems related to data base coding},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {379-379},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Poizat/84,
AUTHOR = {Poizat, Bruno},
TITLE = {Generic oracles},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {380-380},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Veni_Madhavan/84a,
AUTHOR = {Veni Madhavan, C.E.},
TITLE = {Approximation algorithm for maximum independent set in planar triangle-free graphs},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {381-392},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_86},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Regnier/84,
AUTHOR = {Regnier, Mireille},
TITLE = {Grid file algorithms: An analysis in the biased case},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {393-418},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Pal-Bagchi/84,
AUTHOR = {Pal, A.K. and Bagchi, A.},
TITLE = {On the mean weight balance factor of binary trees},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {419-434},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_88},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Gupta-Bhattacharjee/84,
AUTHOR = {Gupta, P. and Bhattacharjee, G.P.},
TITLE = {An efficient algorithm for random sampling without replacement},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {435-442},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Taubenfeld-Francez/84a,
AUTHOR = {Taubenfeld, Gadi and Francez, Nissim},
TITLE = {Proof rules for communication abstractions},
BOOKTITLE = {Proceedings of the 4th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1984 (Bangalore, India, December 13-15, 1984)},
SERIES = {LNCS},
VOLUME = {181},
PAGES = {443-465},
YEAR = {1984},
EDITOR = {Joseph, Mathai and Shyamasundar, Rudrapatna},
URL = {http://dx.doi.org/10.1007/3-540-13883-8_90},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
NOTE = {see page number 118-118},
}