CLLC's Downey:RG [10 articles] Export

Recent papers posted to CLLC's library by the author Downey:RG. You can also see everyone's Downey:RG.

	Parameterized Complexity (Monographs in Computer Science) [My Copy] (06 November 1998) by Rod G. Downey, M. R. Fellows posted to book parameterized_complexity by CLLC on 2006-05-07 05:50:17 as along with 3 people NeilInCanadia ethkim JakubSzymanik
	Some new directions and questions in parameterized complexity [My Copy] Developments in language theory. Papers from the 8th International Conference (DLT 2004) held at Massey University Albany, Auckland, December 13--17, 2004 In Developments in language theory. Papers from the 8th International Conference (DLT 2004) held at Massey University Albany, Auckland, December 13--17, 2004, Vol. 3340 (2004), pp. 12-26. by Rodney G. Downey, Catherine Mccartin edited by Cristian S. Calude, Elena Calude, Michael J. Dinneen posted to parameterized_complexity by CLLC on 2006-03-27 23:38:53 as
	On self-embeddings of computable linear orderings [My Copy] Annals of Pure and Applied Logic In New Zealand Institute of Mathematics and its Applications: Logic and Computation Programme, Vol. 138, No. 1-3. (March 2006), pp. 52-76. by Rodney G. Downey, Carl Jockusch, Joseph S. Miller posted to computable_linear_order dushnikmiller self-embedding by CLLC on 2006-03-27 23:33:48 as
	On Kurtz randomness [My Copy] Theoretical Computer Science, Vol. 321, No. 2-3. (16 August 2004), pp. 249-270. by Rodney G. Downey, Evan J. Griffiths, Stephanie Reid posted to kolmogorov_complexity kurtz_randomness lowness randomness by CLLC on 2006-03-27 23:31:14 as
	Presentations of computably enumerable reals [My Copy] Theoretical Computer Science, Vol. 284, No. 2. (28 July 2002), pp. 539-555. by Rodney G. Downey, Geoffrey L. Laforte posted to computably_enumerable kraftchaitin presentation real by CLLC on 2006-03-27 23:29:27 as
	Schnorr Randomness [My Copy] Electronic Notes in Theoretical Computer Science In CCA 2002, Computability and Complexity in Analysis (ICALP 2002 Satellite Workshop), Vol. 66, No. 1. (July 2002), pp. 1-11. by Rodney G. Downey, Evan J. Griffiths posted to schnorr_randomness by CLLC on 2006-03-27 23:28:37 as
	The complexity of irredundant sets parameterized by size [My Copy] Discrete Applied Mathematics, Vol. 100, No. 3. (30 March 2000), pp. 155-167. by Rodney G. Downey, Michael R. Fellows, Venkatesh Raman posted to irredundant_sets parameterized_complexity by CLLC on 2006-03-27 23:27:35 as
	On computing graph minor obstruction sets [My Copy] Theoretical Computer Science, Vol. 233, No. 1-2. (28 February 2000), pp. 107-127. by Kevin Cattell, Michael J. Dinneen, Rodney G. Downey, Michael R. Fellows, Michael A. Langston posted to no-tag by CLLC on 2006-03-27 23:25:17 as
	Trivial Reals [My Copy] Electronic Notes in Theoretical Computer Science In CCA 2002, Computability and Complexity in Analysis (ICALP 2002 Satellite Workshop), Vol. 66, No. 1. (July 2002), pp. 1-17. by Rod G. Downey, Denis R. Hirschfeldt, Andre Nies, Frank Stephan posted to computably_enumerable_reals kolmogorov_complexity by CLLC on 2006-03-27 11:29:34 as
	Randomness and reducibility [My Copy] Journal of Computer and System Sciences, Vol. 68, No. 1. (February 2004), pp. 96-114. by Rod G. Downey, Denis R. Hirschfeldt, Geoff Laforte posted to algorithmic_information_theory computably_enumerable_reals kolmogorov_complexity relative_randomness solovay_reducibility by CLLC on 2006-03-27 11:25:41 as

Note: You may cite this page as: http://www.citeulike.org/user/CLLC/author/Downey:RG

coalgebra	10
modal_logic	6
parameterized_complexity	6
relevant_logic	6
book	5
computably_enumerable_reals	5
kolmogorov_complexity	5
lock-free	5
thesis-msc	5
boolean_algebra	4
computably_enumerable	4
nonblocking	4
polynomial_functor	4
refinement_calculus	4
thesis-phd	4
comonad	3
covariety	3
logic	3
proof_theory	3
randomness	3
simulation	3
verification	3
algorithms	2
bisimilarity	2
bisimulation	2
concurrency	2
dcas	2
editorial	2
ershov_hierarchy	2
final_coalgebra	2
history_of_logic	2
kripke_semantics	2
meaning	2
natural_deduction	2
real	2
refinement	2
schnorr_randomness	2
software_development	2
software_maintenance	2
software_reusability	2
1-generic_sets	1
64bit	1
abstract_logic	1
algorithmic_information_theory	1
automorphism	1
belief_revision	1
cas	1
coequation	1
coinductive	1
computability	1
computable_linear_order	1
computational_complexity	1
congruence	1
constructive_logic	1
cubic_algebras	1
difference_set	1
dushnikmiller	1
filters	1
final_object	1
formal_specification	1
herrmann_sets	1
intervals	1
intuitionistic_logic	1
io_automata	1
irredundant_sets	1
kraftchaitin	1
kurtz_randomness	1
lambda_calculus	1
linearisability	1
linked_lists	1
llsc	1
logic_programming	1
lowness	1
martingale	1
memory_management	1
multiprocessors	1
nonstandard_analysis	1
observable_formula	1
paraconsistent_logic	1
prefix-free	1
presentation	1
presentations	1
queue	1
reducibility	1
relative_randomness	1
self-embedding	1
set_theory	1
solovay_reducibility	1
trees	1
turing_degrees	1
turing_machines	1
ultraproduct	1
variety	1
wtt-degrees	1
z	1

CLLC's Downey:RG [10 articles] Export

CLLC's tags