6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
2 - A mechanized proof of correctness of a simple counter
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 65-96
-
- Chapter
- Export citation
5 - Formal specification of a digital correlator
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 161-262
-
- Chapter
- Export citation
1 - Theoretical foundations of hardware design
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 1-62
-
- Chapter
- Export citation
List of contributors
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp vii-viii
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805213/66311/cover/9780521366311.jpg)
Theoretical Foundations of VLSI Design
-
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990
Part 3 - Methods of circuits and complexity theory
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 345-346
-
- Chapter
- Export citation
8 - The prioritiser experiment: estimation and measurement of computation time in VLSI
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 347-402
-
- Chapter
- Export citation
3 - A formal model for the hierarchical design of synchronous and systolic algorithms
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 97-138
-
- Chapter
- Export citation
Contents
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp vii-viii
-
- Chapter
- Export citation
6 - Lazy evaluation of updates
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp 97-140
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp ix-x
-
- Chapter
- Export citation
9 - Implementation
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp 178-200
-
- Chapter
- Export citation
8 - Adding knowledge to relational theories
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp 159-177
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805216/19721/cover/9780521619721.jpg)
Updating Logical Databases
-
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990
7 - Integrity constraints
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp 141-158
-
- Chapter
- Export citation
2 - Classes of update semantics
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp 10-45
-
- Chapter
- Export citation
5 - Updates with variables
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp 84-96
-
- Chapter
- Export citation
Index of definitions
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp 207-211
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp 1-9
-
- Chapter
- Export citation
3 - Model-based semantics for updates
-
- Book:
- Updating Logical Databases
- Published online:
- 22 March 2010
- Print publication:
- 26 October 1990, pp 46-63
-
- Chapter
- Export citation