Conferences in DBLP
Franco P. Preparata Planar Point Location Revisited (A Guided Tour of a Decade of Research). [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:1-17 [Conf ] Subir Kumar Gosh Computing a Viewpoint of a Set of Points Inside a Polygon. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:18-29 [Conf ] Joseph Cheriyan , S. N. Maheshwari Analysis of Preflow Push Algorithms for Maximum Network Flow. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:30-48 [Conf ] S. V. Krishnan , C. Pandu Rangan , S. Seshadri A New Linear Algorithm for the Two Path Problem on Chordal Graphs. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:49-66 [Conf ] Samir Khuller Extending Planar Graph Algorithms to K 3, 3 -free Graphs. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:67-79 [Conf ] Maxime Crochemore Constant-Space String-Matching. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:80-87 [Conf ] Susmita Sur-Kolay , Bhargab B. Bhattacharya Inherent Nonslicibility of Rectangular Duals in VLSI Floorplanning. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:88-107 [Conf ] Amitava Datta , Kamala Krithivasan Path Planning with Local Information. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:108-121 [Conf ] Ching-Tsun Chou Linear Broadcast Routing. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:122- [Conf ] Claudio Arbib , Giuseppe F. Italiano , Alessandro Panconesi Predicting deadlock in Store-and-Forward Networks. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:123-142 [Conf ] Sanjeev Saxena , P. C. P. Bhatt , V. C. Prasad On Parallel Sorting and Addition with Concurrent Writes. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:143-153 [Conf ] Christos Levcopoulos On Optimal Parallel Algorithm for Sorting Presorted Files. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:154-160 [Conf ] V. Nageshwara Rao , Vipin Kumar Superlinear Speedup in Parallel State-Space Search. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:161-174 [Conf ] H. Venkateswaran Circuit Definitions of Nondeterministic Complexity Classes. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:175-192 [Conf ] Jürgen Kämper Non-Uniform Proof System: A New Framework to Describe Non-Uniform and Probabalistic Complexity Classes. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:193-210 [Conf ] Sanjeev N. Khadilkar Padding, Commitment and Self-reducability. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:211-224 [Conf ] Craig A. Rich The Complexity of a Counting Finite-State Automaton. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:225-239 [Conf ] Walter W. Kirchherr A Hierarchy Theorem for Pram-Based Complexity Classes. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:240-249 [Conf ] Rod M. Burstall , Furio Honsell A Natural Deduction treatment of Operational Semantics. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:250-269 [Conf ] Patrick Bellot Unformly Applicative Structures, A Theory of Computability and Polyadic Functions. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:270-285 [Conf ] Baruch Awerbuch , Lefteris M. Kirousis , Evangelos Kranakis , Paul M. B. Vitányi A Proof Technique for Register Automicity. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:286-303 [Conf ] Jules Desharnais , Nazim H. Madhavji Relation Level Semantics. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:304-328 [Conf ] Martin C. Henson , Raymond Turner A Constructive Set Theory for Program Development. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:329-347 [Conf ] Prakash Panangaden McCarthy's Amb Cannot Implement Fair Merge. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:348-363 [Conf ] Koichi Furukawa , Kazunori Ueda GHC - A Language for a New Age of Parallel Programming. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:364-376 [Conf ] Keshav Pingali , Kattamuri Ekanadham Accumulators: A New Logic Variable Abstractions for Functional Languages. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:377-399 [Conf ] K. S. H. S. R. Bhatta , Harish Karnick A Resolution Rule for Well-Formed Formulae. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:400-418 [Conf ] Stéphane Kaplan Algebraic and Operational Semantics of Positive/Negative Conditional Algebraic Specification. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:419-434 [Conf ] Deepak Kapur , David R. Musser , Paliath Narendran , Jonathan Stillman Semi-Unification. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:435-454 [Conf ] Alain Beauvieux A Method to Check Knowledge Base Consistency. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:455-468 [Conf ] José Luiz Fiadeiro , Amílcar Sernadas , Cristina Sernadas Knowledgebases as Structured Theories. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:469-486 [Conf ] Jürgen M. Janas On Functional Independencies. [Citation Graph (1, 0)][DBLP ] FSTTCS, 1988, pp:487-508 [Conf ] Bharat K. Bhargava , Shirley Browne A Generic Algorithm for Transaction Processing During Network Partitioning. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:509-519 [Conf ]