6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Geometrical Bijections in Discrete Lattices
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 1-2 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 109-129
-
- Article
- Export citation
On the Influence of the State Encoding on OBDD-Representations of Finite State Machines
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 21-31
- Print publication:
- January 1999
-
- Article
- Export citation
Problem Collection of the DIMANET Mátraháza Workshop, 22–28 October 1995
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 1-2 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 185-192
-
- Article
- Export citation
A Tutte Polynomial for Coloured Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 1-2 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 45-93
-
- Article
- Export citation
Connectedness, Classes and Cycle Index
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 1-2 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 31-43
-
- Article
- Export citation
The Blow-up Lemma
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 1-2 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 161-176
-
- Article
- Export citation
On-line finite automata for addition in some numeration systems
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 79-101
- Print publication:
- January 1999
-
- Article
- Export citation
Notes on Sum-Free and Related Sets
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 1-2 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 95-107
-
- Article
- Export citation
The Homomorphism Structure of Classes of Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 8 / Issue 1-2 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 177-184
-
- Article
- Export citation
Strongly locally testable semigroups with commuting idempotents and related languages
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 47-57
- Print publication:
- January 1999
-
- Article
- Export citation
Appendix C - Notational Convention
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 394-401
-
- Chapter
- Export citation
Picture Gallery
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 236-254
-
- Chapter
- Export citation
Part I - Theory
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 1-1
-
- Chapter
- Export citation
4 - Properties of Simulation
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 73-89
-
- Chapter
- Export citation
6 - A Hoare Logic
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 121-131
-
- Chapter
- Export citation
Preface
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp viii-xii
-
- Chapter
- Export citation
Appendix D - Precedences
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 402-403
-
- Chapter
- Export citation
Appendix B - A Primer on Ordinals and Transfinite Induction
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 387-393
-
- Chapter
- Export citation
Part II - Applications
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 255-256
-
- Chapter
- Export citation
Appendix A - An Introduction to Hoare Logic
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 363-386
-
- Chapter
- Export citation