Rao, A. Srinivasa; Rangan, C. Pandu Optimal parallel algorithms on circular-arc graphs. (English) Zbl 0734.68075 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 44-55 (1989). MSC: 68R10 68W15 68Q25 PDFBibTeX XML
Joseph, Mathai Time and real-time in programs. (English) Zbl 0734.68021 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 312-324 (1989). MSC: 68N01 68Q10 PDFBibTeX XML
Ahuja, Mohan; Zhu, Yahui An efficient distributed algorithm for finding articulation points, bridges, and biconnected components in asynchronous networks. (English) Zbl 0734.68013 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 99-108 (1989). MSC: 68M10 68W15 68Q25 PDFBibTeX XML
Subrahmanian, V. S. Algebraic properties of the space of multivalued and paraconsistent logic programs. (English) Zbl 0733.68012 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 56-67 (1989). MSC: 68N17 03B53 03G10 PDFBibTeX XML
Hemachandra, Lane A.; Jain, Sanjay On the limitations of locally robust positive reductions. (English) Zbl 0731.03023 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 193-203 (1989). MSC: 03D15 68Q15 PDFBibTeX XML
Mukund, Madhavan; Thiagarajan, P. S. An axiomatization of event structures. (English) Zbl 0731.03021 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 143-160 (1989). MSC: 03B80 68Q10 06A06 68Q85 03B45 PDFBibTeX XML
Jiang, Y. J. An autoepistemic logical view of knowledge base. (English) Zbl 0729.68081 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 68-77 (1989). MSC: 68T35 68T27 68P15 03B45 03B60 PDFBibTeX XML
Jamison, B.; Olariu, S. A linear-time recognition algorithm for \(P_ 4\)-reducible graphs. (English) Zbl 0729.68073 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 1-19 (1989). MSC: 68R10 68Q25 05C85 PDFBibTeX XML
Ehrig, Hartmut; Fey, Werner; Hansen, Horst; Löwe, Michael; Jacobs, Dean Algebraic software development concepts for module and configuration families. (English) Zbl 0729.68045 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 181-192 (1989). MSC: 68Q60 68Q65 68N99 PDFBibTeX XML
Ibarra, Oscar H.; Jiang, Tao; Wang, Hui Parallel parsing on a one-way linear array of finite-state machines. (English) Zbl 0729.68041 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 291-300 (1989). MSC: 68N20 68W15 68Q05 PDFBibTeX XML
Tyagi, Akhilesh Energy-time trade-offs in VLSI computations. (English) Zbl 0729.68033 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 301-311 (1989). MSC: 68W35 68Q30 PDFBibTeX XML
Das, Sajal K.; Deo, Narsingh; Prasad, Sushil Gate matrix layout revisited: Algorithmic performance and probabilistic analysis. (English) Zbl 0729.68028 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 280-290 (1989). MSC: 68Q25 94C10 90C39 68R99 PDFBibTeX XML
Bajaj, Chanderjit L.; Dey, Tamal K. Robust decompositions of polyhedra. (English) Zbl 0729.68027 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 267-279 (1989). MSC: 68Q25 68U05 PDFBibTeX XML
Hennessy, M. A proof system for communicating processes with value-passing. (English) Zbl 0729.68020 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 325-339 (1989). MSC: 68Q10 68Q55 PDFBibTeX XML
Maher, Michael J. A transformation system for deductive database modules with perfect model semantics. (English) Zbl 0729.68014 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 89-98 (1989). MSC: 68P15 68T35 PDFBibTeX XML
Gambosi, Giorgio; Protasi, Marco; Talamo, Maurizio An efficient implicit data structure for path testing and searching in rooted trees and forests. (English) Zbl 0729.68012 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 252-266 (1989). MSC: 68P05 68Q25 PDFBibTeX XML
Taubenfeld, Gadi; Katz, Shmuel; Moran, Shlomo Impossibility results in the presence of multiple faulty processes. (English) Zbl 0729.68004 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 109-120 (1989). MSC: 68M10 PDFBibTeX XML
Kumar, P. Sreenivasa; Madhavan, C. E. Veni A new class of separators and planarity of chordal graphs. (English) Zbl 0728.05034 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 30-43 (1989). MSC: 05C38 68R10 68Q25 05C10 PDFBibTeX XML
Kannan, Ravi The Frobenius problem. (English) Zbl 0776.68058 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 242-251 (1989). MSC: 68Q25 11H06 11D04 90C10 PDFBibTeX XMLCite \textit{R. Kannan}, Lect. Notes Comput. Sci. None, 242--251 (1989; Zbl 0776.68058)
Albert, Luc Average case complexity analysis of RETE pattern-match algorithm, and average size of join in databases. (English) Zbl 0776.68053 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 223-241 (1989). MSC: 68Q25 68P15 68T35 PDFBibTeX XMLCite \textit{L. Albert}, Lect. Notes Comput. Sci. None, 223--241 (1989; Zbl 0776.68053)
Lakshmanan, V. S. Query evaluation with null values: How complex is completeness? (English) Zbl 0770.68049 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 204-222 (1989). MSC: 68P15 PDFBibTeX XMLCite \textit{V. S. Lakshmanan}, Lect. Notes Comput. Sci. None, 204--222 (1989; Zbl 0770.68049)
Kasyanov, Viktor N. Annotated program transformations. (English) Zbl 0769.68010 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 171-180 (1989). MSC: 68N01 PDFBibTeX XMLCite \textit{V. N. Kasyanov}, Lect. Notes Comput. Sci. None, 171--180 (1989; Zbl 0769.68010)
Gunawardena, Jeremy Deducing causal relationships in CCS. (English) Zbl 0770.68052 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 161-170 (1989). MSC: 68Q10 PDFBibTeX XMLCite \textit{J. Gunawardena}, Lect. Notes Comput. Sci. None, 161--170 (1989; Zbl 0770.68052)
Phan Minh Dung; Kanchanasut, Kanchana A natural semantics for logic programs with negation. (English) Zbl 0776.68030 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 78-88 (1989). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{Phan Minh Dung} and \textit{K. Kanchanasut}, Lect. Notes Comput. Sci. None, 78--88 (1989; Zbl 0776.68030)
Pantziou, Grammati; Spirakis, Paul; Zaroliagis, Christos Fast parallel approximations of the maximum weighted cut problem through derandomization. (English) Zbl 0768.68166 Foundations of software technology and theoretical computer science, Proc. 9th Conf., Bangalore/India 1989, Lect. Notes Comput. Sci. 405, 20-29 (1989). MSC: 68R10 68Q25 68W15 PDFBibTeX XMLCite \textit{G. Pantziou} et al., Lect. Notes Comput. Sci. None, 20--29 (1989; Zbl 0768.68166)