CLLC's coalgebra [10 articles] Export

Recent papers added to CLLC's library classified by the tag coalgebra. You can also see everyone's coalgebra.

	A modal proof theory for final polynomial coalgebras [My Copy] Theoretical Computer Science, Vol. In Press, Corrected Proof by David Friggens, Robert Goldblatt posted to bisimilarity coalgebra final_coalgebra modal_logic polynomial_functor by CLLC on 2006-03-28 04:55:30 as
	A Modal Proof Theory for Polynomial Coalgebras [My Copy] (2004) by David Friggens posted to coalgebra final_coalgebra modal_logic polynomial_functor thesis-msc by CLLC on 2006-03-28 03:21:12 as
	Comonads, Coequations and Behavioural Covarieties [My Copy] (2004) by Ranald Clouston posted to coalgebra coequation comonad covariety thesis-msc by CLLC on 2006-03-28 03:16:40 as
	Duality for some categories of coalgebras [My Copy] Algebra Universalis, Vol. 46, No. 3. (September 2001), pp. 389-416. by Robert Goldblatt posted to coalgebra by CLLC on 2006-03-27 12:23:26 as
	Covarieties of Coalgebras: Comonads and Coequations [My Copy] Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings In Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings, Vol. 3722 (2005), pp. 288-302. by Ranald Clouston, Robert Goldblatt edited by Dang Hung, Martin Wirsing posted to coalgebra comonad covariety by CLLC on 2006-03-27 12:13:24 as
	A Calculus of Terms for Coalgebras of Polynomial Functors [My Copy] Electronic Notes in Theoretical Computer Science In CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001), Vol. 44, No. 1. (May 2001), pp. 1-24. by Robert Goldblatt posted to coalgebra polynomial_functor by CLLC on 2006-03-27 11:50:26 as
	What is the coalgebraic analogue of Birkhoff's variety theorem? [My Copy] Theoretical Computer Science, Vol. 266, No. 1-2. (6 September 2001), pp. 853-886. by Robert Goldblatt posted to bisimulation coalgebra observable_formula by CLLC on 2006-03-27 11:46:56 as
	Observational ultraproducts of polynomial coalgebras [My Copy] Annals of Pure and Applied Logic, Vol. 123, No. 1-3. (15 October 2003), pp. 235-290. by Robert Goldblatt posted to coalgebra polynomial_functor ultraproduct by CLLC on 2006-03-27 11:45:15 as
	Final coalgebras and the Hennessy-Milner property [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. 77-93. by Robert Goldblatt posted to abstract_logic bisimilarity bisimulation coalgebra coinductive congruence final_object by CLLC on 2006-03-27 11:42:14 as
	A comonadic account of behavioural covarieties of coalgebras [My Copy] Mathematical. Structures in Comp. Sci., Vol. 15, No. 2. (April 2005), pp. 243-269. by Robert Goldblatt posted to coalgebra comonad covariety by CLLC on 2006-03-27 10:45:35 as

Note: You may cite this page as: http://www.citeulike.org/user/CLLC/tag/coalgebra

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 coalgebra [10 articles] Export

CLLC's tags