Conferences in DBLP
Juris Hartmanis Some Observations About the Nature of Computer Science. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen van Bakel Essential Intersection Type Assignment. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Aït-Kaci , Jacques Garrigue Label-Selective lambda-Calculus Syntax and Confluence. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Barendsen , Sjaak Smetsers Conventional and Uniqueness Typing in Graph Rewrite Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Castagna A Meta-Language for Typed Object-Oriented Languages. [Citation Graph (1, 0)][DBLP ] Conf ] Gérard Berry Preemption in Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjeev R. Kulkarni , Sanjoy K. Mitter , T. J. Richardson , John N. Tsitsiklis Local Versus Non-local Computation of Length of Digitized Curves. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus-Jörn Lange , Rolf Niedermeier Data-Independences of Parallel Random Access Machines. [Citation Graph (0, 0)][DBLP ] Conf ] G. Aguzzi , U. Modigliani Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] M. R. K. Krishna Rao Completeness of Hierarchical Combinations of term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz , Subrata Mitra Higher-Order and Semantic Unification. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Basin , Seán Matthews A Conservative Extension of First-order Logic and Its Application to Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Peter J. Stuckey , S. Sudarshan Well-Founded Ordered Search (Extended Abstract). [Citation Graph (2, 0)][DBLP ] Conf ] Y. S. Ramakrishna , Laura K. Dillon , Louise E. Moser , P. M. Melliar-Smith , G. Kutty A Real-Time Interval Logic and Its Decision Procedure. [Citation Graph (0, 0)][DBLP ] Conf ] François Fages On the Semantics of Optimization Predicates in CLP Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Viswanath Ramachandran , Pascal Van Hentenryck Incremental Algorithms for Constraint Solving and Entailment over Rational Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Sumanta Guha , Ichiro Suzuki Proximity Problems and the Voronoi Diagram an a Rectilinear Plane with Rectangular Obstacles. [Citation Graph (0, 0)][DBLP ] Conf ] Boudewijn Asberg , Gregoria Blanco , Prosenjit Bose , Jesus Garcia-Lopez , Mark H. Overmars , Godfried T. Toussaint , Gordon T. Wilfong , Binhai Zhu Feasability of Design in Stereolithography. [Citation Graph (0, 0)][DBLP ] Conf ] Venkatesh Radhakrishnan , Sven Oliver Krumke , Madhav V. Marathe , Daniel J. Rosenkrantz , S. S. Ravi Compact Location Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Magnús M. Halldórsson , Jaikumar Radhakrishnan , K. V. Subrahmanyam On Some Communication Complexity Problems Related to THreshold Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Felipe Cucker , Francesc Rosselló Recursiveness over the Complex Numbers is Time-Bounded. [Citation Graph (0, 0)][DBLP ] Conf ] Ketan Mulmuley A lOwer Bound for Solvability of Polynomial Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Reif , Kurt Stenzel Reuse of Proofs in Software Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Theodore S. Norvell Induce-Statements and Induce-Expressions: Constructs for Inductive Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Antoine , Bernard Le Goff , Jean-Eric Pin A Graphic Language Based on Timing Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] R. Narasimhan Panel on Software Technology: Integrating Theory and Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Fahiem Bacchus , Adam J. Grove , Joseph Y. Halpern , Daphne Koller Generating Degrees of Belief from Statistical Information: An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] Allan Cheng , Javier Esparza , Jens Palsberg Complexity Results for 1-safe Nets. [Citation Graph (0, 0)][DBLP ] Conf ] David Janin Some Results About Logical Descriptions of Non-Deterministic Behaviours. [Citation Graph (0, 0)][DBLP ] Conf ] Ryszard Janicki , Maciej Koutny Order Structures and Generalisations of Szpilrajn's Theorem. [Citation Graph (0, 0)][DBLP ] Conf ] K. Narayan Kumar , Paritosh K. Pandya ICSP and Its Relationship with ACSP and CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Kohei Honda , Nobuko Yoshida On Reduction-Based Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Madhavan Mukund , Milind A. Sohoni Keeping Track of the Latest Gossip: Bounded Time-Stamps Suffice. [Citation Graph (0, 0)][DBLP ] Conf ] Sudhanshu Aggarwal , Shay Kutten Time Optimal Self-Stabilizing Spanning Tree Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Arun K. Pujari Efficient Algorithm to Sort Linear Combinations of Arrays. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay K. Vaishnavi , D. Khanna A Simple File Structure for the Weighted Dictionary Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Devdatt P. Dubhashi , Kurt Mehlhorn , Desh Ranjan , Christian Thiel Searching, Sorting and Randomised Algorithms for Central Elements and Ideal Counting in Posets. [Citation Graph (0, 0)][DBLP ] Conf ] Pushpak Bhattacharyya , G. Nagaraja Learning Classes of Regular and Linear Languages in Valiant's Learnability Framework. [Citation Graph (0, 0)][DBLP ] Conf ] 