Conferences in DBLP
Robert A. Kowalski Logic for Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] T. S. E. Maibaum , M. R. Sadler , Paulo A. S. Veloso Logical Specification and Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Ramaswamy Ramanujam , R. K. Shyamasundar Process Specification of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Asis K. Goswami , Lalit M. Patnaik Functional Programming Sytem Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas J. Myers , A. Toni Cohen Models and Transformations for Nondeterministic Extensions of Functional Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Mogens Nielsen , P. S. Thiagarajan Degrees of Non-Determinism and Concurrency: A Petri Net View. [Citation Graph (0, 0)][DBLP ] Conf ] Gadi Taubenfeld , Nissim Francez Proof Rules for Communication Abstractions (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] N. Natarajan A Distributed Algorithm for Detecting Communication Deadlocks. [Citation Graph (0, 0)][DBLP ] Conf ] Saumya K. Debray , Ariel J. Frank , Scott A. Smolka On the Existence and Construction of Robust Communication Protocals for Unreliable Channels. [Citation Graph (0, 0)][DBLP ] Conf ] Bhargab B. Bhattacharya , Suranjan Ghose , Bhabani P. Sinha , Pradip K. Srimani Heuristic Search Approach to Optimal Routing in a Distributed Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Meurig Beynon Replacement in Monotone Boolean Networks: An Algebraic Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Stathis Zachos A New Characterization of BPP. [Citation Graph (0, 0)][DBLP ] Conf ] Kamala Krithivasan Treating Terminals as Function Values of Time. [Citation Graph (0, 0)][DBLP ] Conf ] Rohit Parikh Logics of Knowledge, Games and Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Malcolm P. Atkinson , Ronald Morrison Persistent First Class Procedures are Enough. [Citation Graph (1, 0)][DBLP ] Conf ] Rudi Studer Abstraction Concepts for Modeling Screen Oriented Dialogue Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Rajiv Kane , Sartaj Sahni VLSI Systems For Design Rule Checks. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Levcopoulos , Andrzej Lingas Bounds on the Length of Convex Partitions of Polygons. [Citation Graph (0, 0)][DBLP ] Conf ] I. V. Ramakrishnan On Mapping Cube Graphs onto VLSI Arrays. [Citation Graph (0, 0)][DBLP ] Conf ] Subir Kumar Gosh A Linear-Time Algorithm for Determining the Intersection Type of Two Star Polygons. [Citation Graph (0, 0)][DBLP ] Conf ] Gael N. Buckley , Abraham Silberschatz Eliminating Cascading Rollback in Structured Database. [Citation Graph (0, 0)][DBLP ] Conf ] V. S. Lakshmanan , N. Chandrasekaran , C. E. Veni Madhavan Recognition and Top-Down Generation of beta-Acyclic Database Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Sushil Jajodia Universal and Representative Instances Using Unmarked Nulls. [Citation Graph (1, 0)][DBLP ] Conf ] F. de Santis , Maria I. Sessa On Some Computational Problems Related to Data Base Coding (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Poizat Generic Oracles (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] C. E. Veni Madhavan Approximation Algorithm for Maximum Independent Set in Planar Tiangle-Free Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Mireille Régnier Grid File Algorithms: An Analysis in the Biased Case. [Citation Graph (0, 0)][DBLP ] Conf ] Asim K. Pal , A. Bagchi On the Mean Weight Balance Factor of Binary Trees. [Citation Graph (0, 0)][DBLP ] Conf ] P. Gupta , G. P. Bhattacharjee An Efficient Algorithm for Random Sampling without Replacement. [Citation Graph (0, 0)][DBLP ] Conf ] 