@incollection{Jamison-Olariu/89,
AUTHOR = {Jamison, B. and Olariu, S.},
TITLE = {A linear-time recognition algorithm for $P_4$-reducible graphs},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {1-19},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pantziou-Spirakis-Zaroliagis/89,
AUTHOR = {Pantziou, Grammati and Spirakis, Paul and Zaroliagis, Christos},
TITLE = {Fast parallel approximations of the maximum weighted cut problem through derandomization},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {20-29},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sreenivasa_Kumar-Veni_Madhavan/89,
AUTHOR = {Sreenivasa Kumar, P. and Veni Madhavan, C.E.},
TITLE = {A new class of separators and planarity of chordal graphs},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {30-43},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Srinivasa_Rao-Pandu_Rangan/89,
AUTHOR = {Srinivasa Rao, A. and Pandu Rangan, C.},
TITLE = {Optimal parallel algorithms on circular-arc graphs},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {44-55},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Subrahmanian/89,
AUTHOR = {Subrahmanian, V.S.},
TITLE = {Algebraic properties of the space of multivalued and paraconsistent logic programs},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {56-67},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jiang/89a,
AUTHOR = {Jiang, Y.J.},
TITLE = {An autoepistemic logical view of knowledge base},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {68-77},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dung-Kanchanasut/89,
AUTHOR = {Dung, Phan Minh and Kanchanasut, Kanchana},
TITLE = {A natural semantics for logic programs with negation},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {78-88},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Maher/89,
AUTHOR = {Maher, Michael J.},
TITLE = {A transformation system for deductive database modules with perfect model semantics},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {89-98},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ahuja-Zhu/89,
AUTHOR = {Ahuja, Mohan and Zhu, Yahui},
TITLE = {An efficient distributed algorithm for finding articulation points, bridges, and biconnected components in asynchronous networks},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {99-108},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Taubenfeld-Katz-Moran/89,
AUTHOR = {Taubenfeld, Gadi and Katz, Shumel and Moran, Shlomo},
TITLE = {Impossibility results in the presence of multiple faulty processes},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {109-120},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bonomi-Fleming-Steinberg/89,
AUTHOR = {Bonomi, F. and Fleming, P.J. and Steinberg, P.},
TITLE = {An adaptive regulator approach for the design of load sharing algorithms},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {121-130},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Breu-Zucca/89,
AUTHOR = {Breu, Ruth and Zucca, Elena},
TITLE = {An algebraic compositional semantics of an object oriented notation with concurrency},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {131-142},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mukund-Thiagarajan/89,
AUTHOR = {Mukund, Madhavan and Thiagarajan, P.S.},
TITLE = {An axiomatization of event structures},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {143-160},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gunawardena/89,
AUTHOR = {Gunawardena, Jeremy},
TITLE = {Deducing causal relationships in CCS},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {161-170},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kasyanov/89,
AUTHOR = {Kasyanov, Viktor N.},
TITLE = {Annotated program transformations},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {171-180},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ehrig-Fey-Hansen-Lowe-Jacobs/89,
AUTHOR = {Ehrig, Hartmut and Fey, Werner and Hansen, Horst and L{\"o}we, Michael and Jacobs, Dean},
TITLE = {Algebraic software development concepts for module and configuration families},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {181-192},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hemachandra-Jain/89,
AUTHOR = {Hemachandra, Lane A. and Jain, Sanjay},
TITLE = {On the limitations of locally robust positive reductions},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {193-203},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lakshmanan/89,
AUTHOR = {Lakshmanan, V.S.},
TITLE = {Query evaluation with null values: How complex is completeness?},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {204-222},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Albert/89,
AUTHOR = {Albert, Luc},
TITLE = {Average case complexity analysis of RETE pattern-match algorithm and average size of join in databases},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {223-241},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kannan/89,
AUTHOR = {Kannan, Ravi},
TITLE = {The Frobenius problem},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {242-251},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gambosi-Protasi-Talamo/89,
AUTHOR = {Gambosi, Giorgio and Protasi, Marco and Talamo, Maurizio},
TITLE = {An efficient implicit data structure for path testing and searching in rooted trees and forests},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {252-266},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bajaj-Dey/89,
AUTHOR = {Bajaj, Chanderjit L. and Dey, Tamal K.},
TITLE = {Robust decompositions of polyhedra},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {267-279},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Das-Deo-Prasad/89,
AUTHOR = {Das, Sajal K. and Deo, Narsingh and Prasad, Sushil},
TITLE = {Gate matrix layout revisited: Algorithmic performance and probabilistic analysis},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {280-290},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ibarra-Jiang-Wang/89,
AUTHOR = {Ibarra, Oscar H. and Jiang, Tao and Wang, Hui},
TITLE = {Parallel parsing on a one-way linear array of finite-state machines},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {291-300},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tyagi/89,
AUTHOR = {Tyagi, Akhilesh},
TITLE = {Energy-time trade-offs in VLSI computations},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {301-311},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Joseph/89,
AUTHOR = {Joseph, Mathai},
TITLE = {Time and real-time in programs},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {312-324},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hennessy/89,
AUTHOR = {Hennessy, M.},
TITLE = {A proof system for communicating processes with value-passing},
BOOKTITLE = {Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'89 (Bangalore, India, December 19-21, 1989)},
SERIES = {LNCS},
VOLUME = {405},
PAGES = {325-339},
YEAR = {1989},
EDITOR = {Veni Madhavan, C.E.},
URL = {http://dx.doi.org/10.1007/3-540-52048-1_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}