![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
8th CATS 2002: Melbourne, VIC, Australia
- James Harland:
Computing: the Australasian Theory Symposium, CATS 2002, Melbourne, Australia. Electronic Notes in Theoretical Computer Science 61, Elsevier 2002 - Michael R. Fellows
:
Parameterized Complexity: The Main Ideas and Connections to Practical Computing. 1-19 - John N. Crossley:
Declarative N. Programming: A logical view. 20 - Anthony H. Dekker:
A Category-Theoretic Approach to Social Network Analysis. 21-33 - Neil Ghani, Anne Heyworth:
Computing over K-modules. 34-50 - Michael Johnson
, Robert D. Rosebrugh:
Sketch Data Models, Relational Schema and Data Specifications. 51-63 - Sebastian Link
, Klaus-Dieter Schewe:
Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of delta-constraints. 64-83 - Rakesh M. Verma
, Sarah Hwang:
On the Structure of Counterexamples to Symmetric Orderings for BDD's. 84-100 - David Hemer, Ian J. Hayes
, Paul A. Strooper
, Robert Colvin:
Don't Care Non-determinism in Logic Program Refinement. 101-121 - Matthew Hennessy, Julian Rathke:
Typed behavioural equivalences for processes in the presence of subtyping. 122-139 - Klaus Grue:
Dedekind completion as a method for constructing new Scott domains. 140-153 - Stéphane Lafrance, John Mullins:
Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols. 154-177 - Rena Ding:
Drawing Ruled Surfaces Using the Dual De Boor Algorithm. 178-190 - Tadao Takaoka:
Efficient Algorithms for the Maximum Subarray Problem by Distance Matrix Multiplication. 191-200 - Stuart Anderson
, John Power
, Konstantinos Tourlas:
Zooming-out on Higraph-based diagrams - Syntactic and Semantic Issues. 201-211 - James Harland:
Preface. 212-213
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.