 |
 |
 |
 |
|
|
||||
|
 |
Computer Laboratory Publications Results for Advanced Search |
|
|
||
|
||
| Computer Laboratory > Computer Laboratory Publications > Results for Advanced Search |
Title matches all of "approach". Results ordered by year (most recent first).
Displaying results 1 to 9 of 9. Search time: 0s.
[Index last built at: Thu Oct 25 20:54:31 BST 2007]
Berenguer, I and Wang, X and Wassell, I J (2004) Transmit Antenna Selection in Linear Receivers: Geometrical Approach (not available online.)
Tan, C E and Wassell, I J (2003) Table-based Approach to Sub-Optimum Peak Reduction Carriers (not available online.)
Peyton Jones, Simon and Blackwell, Alan and Burnett, Margaret (2003) A user-centred approach to functions in Excel (availability restricted.)
Gabbay, M. J. and Pitts, A. M. (2001) A new approach to abstract syntax with variable binding
Paulson, Lawrence C. (2000) A Fixedpoint Approach to (Co)inductive and (Co)datatype Definitions
Ballarin, Clemens and Paulson, Lawrence C. (1999) A Pragmatic Approach to Extending Provers by Computer Algebra --- with Applications to Coding Theory
Gabbay, M. J. and Pitts, A. M. (1999) A new approach to abstract syntax involving binders
Paulson, Lawrence C. (1998) The Inductive Approach to Verifying Cryptographic Protocols
Paulson, Lawrence C. (1994) A Fixedpoint Approach to Implementing (Co)Inductive Definitions (not available online.)
|
|
|
|