Skip to main content
Kent Academic Repository

Browse by Publisher

Group by: Item Type | Date | No Grouping
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)
Format: PDF
Daniels, Anthony C. (2000) Recursive Functions and Reactive Behaviours: The Essence of Fran. Other. Kent University (Unpublished) (KAR id:21956)
Format: PDF Format: Postscript
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)
Format: Postscript Format: PDF
This list was generated on Sat May 18 01:45:32 2024 BST.