CLLC's Goldblatt:R [15 articles] Export

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

	Mathematical Modal Logic: A View of its Evolution [My Copy] Handbook of the History of Logic, Volume 7: Logic and the Modalities in the Twentieth Century In Handbook of the History of Logic, Volume 7: Logic and the Modalities in the Twentieth Century (2006) by Robert Goldblatt edited by Dov M. Gabbay, John Woods posted to boolean_algebra history_of_logic kripke_semantics modal_logic by CLLC on 2006-05-07 03:47:55 as
	Logics of Time and Computation [My Copy] (01 September 1992) by Robert Goldblatt posted to book modal_logic by CLLC on 2006-03-28 05:06:31 as along with 1 person pirapira
	Lectures on the Hyperreals : An Introduction to Nonstandard Analysis [My Copy] (01 October 1998) by Robert Goldblatt posted to book nonstandard_analysis by CLLC on 2006-03-28 05:03:03 as along with 1 person david_lewis
	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
	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
	Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators [My Copy] Studia Logica, Vol. 62, No. 2. (June 2001), pp. 155-171. by Robert Goldblatt posted to boolean_algebra variety by CLLC on 2006-03-27 12:20:09 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
	Foreword [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. 1-1. by Rod Downey, Rob Goldblatt posted to editorial by CLLC on 2006-03-27 11:05:24 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
	A finite equational axiomatization of the functional algebras for the lambda calculus [My Copy] Inf. Comput., Vol. 148, No. 1. (January 1999), pp. 71-130. by Antonino Salibra, Robert Goldblatt posted to lambda_calculus logic by CLLC on 2006-03-27 10:44:19 as along with 1 person dmitri83
	Mathematical modal logic: A view of its evolution [My Copy] Journal of Applied Logic, Vol. 1, No. 5-6. (October 2003), pp. 309-392. by Robert Goldblatt posted to boolean_algebra history_of_logic kripke_semantics modal_logic by CLLC on 2006-03-27 10:38:18 as along with 2 people pirapira michaelbanks

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

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 Goldblatt:R [15 articles] Export

CLLC's tags