Browse by Publisher
![[up]](/style/images/multi_up.png)
Up a levelJump to: Reports and Papers
Number of items: 6.
Reports and Papers
| Gomez, Rodolfo and Bowman, Howard (2003) A MONA-based Decision Procedure for Propositional Interval Temporal Logic. Other. Kent University, Vienna, Austria (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13933) |
| Petre, Marian and Fincher, Sally and Tenenberg, Josh (2003) 'My Criterion is: Is it a Boolean?': A card-sort elicitation of students' knowledge of programming constructs. Technical report. Kent University, University of Kent, Canterbury, Kent, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13970) |
| Jones, Richard E. (2003) DO garbage collection. Technical report. Kent University, Kent, UK 2-03. (doi:2-03) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14006) |
| Timmis, Jon (2000) On Parameter Adjustment of the Immune Inspired Machine Learning Algorithm AINE. Technical report. Kent University, Canterbury, Kent. CT2 7NF. (KAR id:21937) |
|
| Daniels, Anthony C. (2000) Recursive Functions and Reactive Behaviours: The Essence of Fran. Other. Kent University (Unpublished) (KAR id:21956) |
|
| Poll, Erik and Thompson, Simon (1998) Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor. Technical report. Kent University (KAR id:21662) |
|
