Conferences in DBLP
C. A. R. Hoare The Mathematics of Programming. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:1-18 [Conf ] Gul Agha , Carl Hewitt Concurrent Programming Using Actors: Exploiting large-Scale Parallelism. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:19-41 [Conf ] S. Ramesh , S. L. Mehndiratta A New Class of High Level Programs for Distributed Computing Systems. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:42-72 [Conf ] Devendra Kumar A Class of Termination Detection Algorithms For Distributed Computation. [Citation Graph (1, 0)][DBLP ] FSTTCS, 1985, pp:73-100 [Conf ] Alberto Marchetti-Spaccamela New Protocols for the Election od a Leader in a Ring. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:101-115 [Conf ] Carlo Ghezzi , Dino Mandrioli , Antonio Tecchio Program Simplification via Symbolic Interpretation. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:116-128 [Conf ] Jieh Hsiang , Mandayam K. Srivas PROLOG-Based Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:129-149 [Conf ] Dieter Armbruster On the Calling Behaviour of Procedures. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:150-161 [Conf ] Shankar M. Venkatesan Approximation Algorithms for Planar Matching. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:162-175 [Conf ] Chandrajit L. Bajaj Geometric Optimization and Polynomial Hierarchy. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:176-195 [Conf ] Jack Veenstra Deriving Object Octree from Images. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:196-211 [Conf ] Zohar Manna , Richard J. Waldinger Deduction with Relation Matching. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:212-224 [Conf ] Finn Verner Jensen , Kim Guldstrand Larsen Recursively Defined Domains and Their Induction Principles. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:225-245 [Conf ] Samit Khosla , T. S. E. Maibaum , M. R. Sadler Large Database Specification from Small Views. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:246-271 [Conf ] G. Venkatesh A Decision Method for Temporal Logic Based on Resolution. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:272-289 [Conf ] Rani Siromoney , V. Rajkumar Dare A Generalization of the Parikh Vector for Finite and Infinite Words. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:290-302 [Conf ] V. S. Lakshmanan , C. E. Veni Madhavan The Implication Problem for Functional and Multivalued Dependencies: An Algebraic Approach. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:303-328 [Conf ] K. Vidyasankar A Simple Characterization of Database Serializability. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:329-345 [Conf ] Vijay A. Saraswat Partial correctness semantics for CP [ , | , &]. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:347-368 [Conf ] Eugene W. Stark A Proof Technique for Rely/Guarantee Properties. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:369-391 [Conf ] Glynn Winskel A Complete System for SCCS with Modal Assertions. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:392-410 [Conf ] Arvind Demand-Driven Evaluation on Dataflow Machine. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:411- [Conf ] Jose M. Mata Design and Implementation for a Procedural VLSI Layout. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:412-427 [Conf ] Kam-Hoi Cheng , Sartaj Sahni VLSI Systems For Matrix Multiplication. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:428-456 [Conf ] S. Lakshmivarahan , Sudarshan K. Dhall Parallel Algorithms for Solving Certain Classes of Linear Recurrences. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:457-478 [Conf ] Deepak D. Sherlekar , Shaunak Pawagi , I. V. Ramakrishnan O(1) Parallel Time Incremental Graph Algorithms. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:477-495 [Conf ] Dexter Kozen , Umesh V. Vazirani , Vijay V. Vazirani NC Algorithms for Comparability Graphs, Interval Gaphs, and Testing for Unique Perfect Matching. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:496-503 [Conf ] Victor Y. Pan Fast and Efficient Parallel Algorithms for the Exact Inversion of Integer Matrices. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:504-519 [Conf ]