CiteULike CLLC's CiteULike Search Register Log in

CLLC's tags

All tags in CLLC's library
1-generic_sets   64bit   abstract_logic   algorithmic_information_theory   algorithms   automorphism   belief_revision   bisimilarity   bisimulation   book   boolean_algebra   cas   coalgebra   coequation   coinductive   comonad   computability   computable_linear_order   computably_enumerable   computably_enumerable_reals   computational_complexity   concurrency   congruence   constructive_logic   covariety   cubic_algebras   dcas   difference_set   dushnikmiller   editorial   ershov_hierarchy   filters   final_coalgebra   final_object   formal_specification   herrmann_sets   history_of_logic   intervals   intuitionistic_logic   io_automata   irredundant_sets   kolmogorov_complexity   kraftchaitin   kripke_semantics   kurtz_randomness   lambda_calculus   linearisability   linked_lists   llsc   lock-free   logic   logic_programming   lowness   martingale   meaning   memory_management   modal_logic   multiprocessors   natural_deduction   nonblocking   nonstandard_analysis   no-tag   observable_formula   paraconsistent_logic   parameterized_complexity   polynomial_functor   prefix-free   presentation   presentations   proof_theory   queue   randomness   real   reducibility   refinement   refinement_calculus   relative_randomness   relevant_logic   schnorr_randomness   self-embedding   set_theory   simulation   software_development   software_maintenance   software_reusability   solovay_reducibility   thesis-msc   thesis-phd   trees   turing_degrees   turing_machines   ultraproduct   variety   verification   wtt-degrees   z  
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.