You have Guest access.
Log In
Mathai Joseph and Rudrapatna Shyamasundar
Front matter
1-12
Logic for knowledge representation
13-30
Logical specification and implementation
31-43
Process specification of logic programs
44-59
Functional programming systems revisited
60-88
Models and transformations for nondeterministic extensions of functional programming
89-117
Degrees of non-determinism and concurrency: A Petri net view
118
Proof rules for communication abstractions
119-135
A distributed algorithm for detecting communication deadlocks
136-151
On the existence and construction of robust communication protocols for unreliable channels
152-164
Heuristic search approach to optimal routing in a distributed architecture
165-178
Replacement in monotone Boolean networks: An algebraic perspective
179-187
A new characterization of BPP
188-201
Treating terminals as function values of time
202-222
Logics of knowledge, games and dynamic logic
223-240
Persistent first class procedures are enough
241-258
Abstraction concepts for modeling screen oriented dialogue interfaces
259-278
VLSI systems for design rule checks
279-295
Bounds on the length of convex partitions of polygons
296-316
On mapping cube graphs onto VLSI arrays
317-330
A linear-time algorithm for determining the intersection type of two star polygons Extended abstract
331-343
Eliminating cascading rollback in structured databases
344-366
Recognition and top-down generation of β-acyclic database schemes
367-378
Universal and representative instances using unmarked nulls
379
On some computational problems related to data base coding
380
Generic oracles
381-392
Approximation algorithm for maximum independent set in planar traingle-free graphs
393-418
Grid file algorithms: An analysis in the biased case
419-434
On the mean weight balance factor of binary trees
435-442
An efficient algorithm for random sampling without replacement
443-465
Back matter
R. A. Kowalski
T S E Maibaum, M R Sadler and P A S Veloso
R. Ramanujam and R. K. Shyamasundar
Asis K. Goswami and L. M. Patnaik
Thomas J. Myers and A. Toni Cohen
M. Nielsen and P. S. Thiagarajan
Gad Taubenfeld and Nissim Francez
N. Natarajan
Saumya K. Debray, Ariel J. Frank and Scott A. Smolka
Bhargab B Bhattacharya, Suranjan Ghose, Bhabani P Sinha and Pradip K Srimani
Meurig Beynon
Stathis Zachos and Hans Heller
Kamala Krithivasan and Anindya Das
Rohit Parikh
Malcolm P. Atkinson and Ronald Morrison
R. Studer
Rajiv Kane and Sartaj Sahni
Christos Levcopoulos and Andrzej Lingas
I. V. Ramakrishnan and P. J. Varman
S. K. Ghosh
Gael N. Buckley and A. Silberschatz
V. S. Lakshmanan, N. Chandrasskaran and C. E. Veni Madhavan
Sushil Jajodia
F. de Santis and M. I. Sessa
Bruno Poizat
C. E. Veni Madhavan
Mireille Regnier
A. K. Pal and A. Bagchi
P. Gupta and G. P. Bhattacharjee
Gadi Taubenfeld and Nissim Francez
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info