文档介绍：Hybrid Graph Theory work Analysis
Cambridge Tracts in puter Science
Editorial Board
S. Abramsky, Department puting Science, Edinburgh University
P. H. Aczel, Department puter Science, University of Manchester
J. W. de Bakker, Centrum voor Wiskunde en Informatica, Amsterdam
Y. Gurevich, Department of Electrical Engineering puter Science, University of Michigan
J. V. Tucker, Department of Mathematics puter Science, University College of Swansea
Titles in the series
1. G. Chaitin Algorithmic Information Theory
2. L. C. Paulson Logic putation
3. M. Spivey Understanding Z
5. A. Ramsey Formal Methods in Artificial Intelligence
6. S. Vickers Topology via Logic
7. J: Y. Girard, Y. Lafont & P. Taylor Proofs and Types
8. J. Clifford Formal Semantics & Progmatics for Natural Language Processing
9. M. Winslett Updating Logical Databases
10. K. McEvoy & J. V. Tucker (eds) Theoretical Foundations of VLSI Design
11. T. H. Tse A Unifying Framework for Structured Analysis and Design Models
12. G. Brewka Nonmonotonic Reasoning
14. S. G. Hoggar Mathematics puter Graphics
15. S. Dasgupta Design Theory puter Science
17. J. C. M. Baeten (ed) Applications of Process Algebra
18. J. C. M. Baeten & W. P. Weijland Process Algebra
19. M. Manzano Extensions of First Order Logic
21. D. A. Wolfram The Clausal Theory of Types
22. V. Stoltenberg-Hansen, I. Lindstr5m & E. Griffor Mathematical Theory of Domains
23. E.-R. s, Terms and Formulas
26. P. D. Mosses Action Semantics
27. W. H. Hesselink Programs, Recursion and Unbounded Choice
28. P. Padawitz Deductive and Declarative Programming
29. P. Gardenfors (ed) Belief Revision
30. M. Anthony & N. putational Learning Theory
31. T. F. Melham Higher Order Logic and Hardware Verification
32. R. L. Carpenter The Logic of Typed Feature Structures
33. E. G. Manes Predicate Transformer Semantics
34. F. Nielson & H. R. Nielson Two Level Functional Languages
35. L. Feijs & H. Jonkers Formal Specification and Design