Conferences in DBLP
Franco P. Preparata Planar Point Location Revisited (A Guided Tour of a Decade of Research). [Citation Graph (0, 0)][DBLP ] Conf ] Subir Kumar Gosh Computing a Viewpoint of a Set of Points Inside a Polygon. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Cheriyan , S. N. Maheshwari Analysis of Preflow Push Algorithms for Maximum Network Flow. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Samir Khuller Extending Planar Graph Algorithms to K 3, 3 -free Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Maxime Crochemore Constant-Space String-Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Susmita Sur-Kolay , Bhargab B. Bhattacharya Inherent Nonslicibility of Rectangular Duals in VLSI Floorplanning. [Citation Graph (0, 0)][DBLP ] Conf ] Amitava Datta , Kamala Krithivasan Path Planning with Local Information. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Tsun Chou Linear Broadcast Routing. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Arbib , Giuseppe F. Italiano , Alessandro Panconesi Predicting deadlock in Store-and-Forward Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjeev Saxena , P. C. P. Bhatt , V. C. Prasad On Parallel Sorting and Addition with Concurrent Writes. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Levcopoulos On Optimal Parallel Algorithm for Sorting Presorted Files. [Citation Graph (0, 0)][DBLP ] Conf ] V. Nageshwara Rao , Vipin Kumar Superlinear Speedup in Parallel State-Space Search. [Citation Graph (0, 0)][DBLP ] Conf ] H. Venkateswaran Circuit Definitions of Nondeterministic Complexity Classes. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Sanjeev N. Khadilkar Padding, Commitment and Self-reducability. [Citation Graph (0, 0)][DBLP ] Conf ] Craig A. Rich The Complexity of a Counting Finite-State Automaton. [Citation Graph (0, 0)][DBLP ] Conf ] Walter W. Kirchherr A Hierarchy Theorem for Pram-Based Complexity Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Rod M. Burstall , Furio Honsell A Natural Deduction treatment of Operational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Bellot Unformly Applicative Structures, A Theory of Computability and Polyadic Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Baruch Awerbuch , Lefteris M. Kirousis , Evangelos Kranakis , Paul M. B. Vitányi A Proof Technique for Register Automicity. [Citation Graph (0, 0)][DBLP ] Conf ] Jules Desharnais , Nazim H. Madhavji Relation Level Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Martin C. Henson , Raymond Turner A Constructive Set Theory for Program Development. [Citation Graph (0, 0)][DBLP ] Conf ] Prakash Panangaden McCarthy's Amb Cannot Implement Fair Merge. [Citation Graph (0, 0)][DBLP ] Conf ] Koichi Furukawa , Kazunori Ueda GHC - A Language for a New Age of Parallel Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Keshav Pingali , Kattamuri Ekanadham Accumulators: A New Logic Variable Abstractions for Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] K. S. H. S. R. Bhatta , Harish Karnick A Resolution Rule for Well-Formed Formulae. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Kaplan Algebraic and Operational Semantics of Positive/Negative Conditional Algebraic Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , David R. Musser , Paliath Narendran , Jonathan Stillman Semi-Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Beauvieux A Method to Check Knowledge Base Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] José Luiz Fiadeiro , Amílcar Sernadas , Cristina Sernadas Knowledgebases as Structured Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen M. Janas On Functional Independencies. [Citation Graph (1, 0)][DBLP ] Conf ] Bharat K. Bhargava , Shirley Browne A Generic Algorithm for Transaction Processing During Network Partitioning. [Citation Graph (0, 0)][DBLP ] Conf ] 