Conferences in DBLP
Juris Hartmanis Some Observations About the Nature of Computer Science. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:1-12 [Conf ] Steffen van Bakel Essential Intersection Type Assignment. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:13-23 [Conf ] Hassan Aït-Kaci , Jacques Garrigue Label-Selective lambda-Calculus Syntax and Confluence. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:24-40 [Conf ] Erik Barendsen , Sjaak Smetsers Conventional and Uniqueness Typing in Graph Rewrite Systems. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:41-51 [Conf ] Giuseppe Castagna A Meta-Language for Typed Object-Oriented Languages. [Citation Graph (1, 0)][DBLP ] FSTTCS, 1993, pp:52-71 [Conf ] Gérard Berry Preemption in Concurrent Systems. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:72-93 [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 ] FSTTCS, 1993, pp:94-103 [Conf ] Klaus-Jörn Lange , Rolf Niedermeier Data-Independences of Parallel Random Access Machines. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:104-113 [Conf ] G. Aguzzi , U. Modigliani Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:114-124 [Conf ] M. R. K. Krishna Rao Completeness of Hierarchical Combinations of term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:125-138 [Conf ] Nachum Dershowitz , Subrata Mitra Higher-Order and Semantic Unification. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:139-150 [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 ] FSTTCS, 1993, pp:151-160 [Conf ] Peter J. Stuckey , S. Sudarshan Well-Founded Ordered Search (Extended Abstract). [Citation Graph (2, 0)][DBLP ] FSTTCS, 1993, pp:161-172 [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 ] FSTTCS, 1993, pp:173-192 [Conf ] François Fages On the Semantics of Optimization Predicates in CLP Languages. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:193-204 [Conf ] Viswanath Ramachandran , Pascal Van Hentenryck Incremental Algorithms for Constraint Solving and Entailment over Rational Trees. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:205-217 [Conf ] Sumanta Guha , Ichiro Suzuki Proximity Problems and the Voronoi Diagram an a Rectilinear Plane with Rectangular Obstacles. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:218-227 [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 ] FSTTCS, 1993, pp:228-237 [Conf ] Venkatesh Radhakrishnan , Sven Oliver Krumke , Madhav V. Marathe , Daniel J. Rosenkrantz , S. S. Ravi Compact Location Problems. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:238-247 [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 ] FSTTCS, 1993, pp:248-259 [Conf ] Felipe Cucker , Francesc Rosselló Recursiveness over the Complex Numbers is Time-Bounded. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:260-267 [Conf ] Ketan Mulmuley A lOwer Bound for Solvability of Polynomial Equations. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:268-283 [Conf ] Wolfgang Reif , Kurt Stenzel Reuse of Proofs in Software Verification. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:284-293 [Conf ] Theodore S. Norvell Induce-Statements and Induce-Expressions: Constructs for Inductive Programming. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:294-305 [Conf ] Christian Antoine , Bernard Le Goff , Jean-Eric Pin A Graphic Language Based on Timing Diagrams. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:306-316 [Conf ] R. Narasimhan Panel on Software Technology: Integrating Theory and Practice. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:317- [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 ] FSTTCS, 1993, pp:318-325 [Conf ] Allan Cheng , Javier Esparza , Jens Palsberg Complexity Results for 1-safe Nets. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:326-337 [Conf ] David Janin Some Results About Logical Descriptions of Non-Deterministic Behaviours. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:338-347 [Conf ] Ryszard Janicki , Maciej Koutny Order Structures and Generalisations of Szpilrajn's Theorem. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:348-357 [Conf ] K. Narayan Kumar , Paritosh K. Pandya ICSP and Its Relationship with ACSP and CSP. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:358-372 [Conf ] Kohei Honda , Nobuko Yoshida On Reduction-Based Semantics. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:373-387 [Conf ] Madhavan Mukund , Milind A. Sohoni Keeping Track of the Latest Gossip: Bounded Time-Stamps Suffice. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:388-399 [Conf ] Sudhanshu Aggarwal , Shay Kutten Time Optimal Self-Stabilizing Spanning Tree Algorithms. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:400-410 [Conf ] Arun K. Pujari Efficient Algorithm to Sort Linear Combinations of Arrays. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:411-418 [Conf ] Vijay K. Vaishnavi , D. Khanna A Simple File Structure for the Weighted Dictionary Problem. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:419-435 [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 ] FSTTCS, 1993, pp:436-443 [Conf ] Pushpak Bhattacharyya , G. Nagaraja Learning Classes of Regular and Linear Languages in Valiant's Learnability Framework. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:444-454 [Conf ]