UID:
almafu_9959186098802883
Umfang:
1 online resource (X, 470 p.)
Ausgabe:
1st ed. 1984.
Ausgabe:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-39087-1
Serie:
Lecture Notes in Computer Science, 181
Anmerkung:
Bibliographic Level Mode of Issuance: Monograph
,
Logic for knowledge representation -- Logical specification and implementation -- Process specification of logic programs -- Functional programming systems revisited -- Models and transformations for nondeterministic extensions of functional programming -- Degrees of non-determinism and concurrency: A Petri net view -- Proof rules for communication abstractions -- A distributed algorithm for detecting communication deadlocks -- On the existence and construction of robust communication protocols for unreliable channels -- Heuristic search approach to optimal routing in a distributed architecture -- Replacement in monotone Boolean networks: An algebraic perspective -- A new characterization of BPP -- Treating terminals as function values of time -- Logics of knowledge, games and dynamic logic -- Persistent first class procedures are enough -- Abstraction concepts for modeling screen oriented dialogue interfaces -- VLSI systems for design rule checks -- Bounds on the length of convex partitions of polygons -- On mapping cube graphs onto VLSI arrays -- A linear-time algorithm for determining the intersection type of two star polygons -- Eliminating cascading rollback in structured databases -- Recognition and top-down generation of ?-acyclic database schemes -- Universal and representative instances using unmarked nulls -- On some computational problems related to data base coding -- Generic oracles -- Approximation algorithm for maximum independent set in planar traingle-free graphs -- Grid file algorithms: An analysis in the biased case -- On the mean weight balance factor of binary trees -- An efficient algorithm for random sampling without replacement -- Proof rules for communication abstractions.
,
English
In:
Springer eBooks
Weitere Ausg.:
ISBN 3-540-13883-8
Sprache:
Englisch
DOI:
10.1007/3-540-13883-8
URL:
http://dx.doi.org/10.1007/3-540-13883-8
URL:
http://dx.doi.org/10.1007/3-540-13883-8
URL:
http://dx.doi.org/10.1007/3-540-13883-8
