CiteULike christiankissig's CiteULike Search Register Log in

christiankissig's tags

All tags in christiankissig's library
algebra   algebraic_categories   algebraic_geometry   algebraic_specification   algebraic_topology   analysis   anonymity   automata   automata_theory   bialgebra   bialgebras   bicategories   bigraphs   bimonads   boolean_algebras   categorical_logic   category_theory   ccs   chu-spaces   closed_categories   coalgebra   coalgebraic_automata_theory   coalgebraic_logic   coalgebraic_modal_logic   coalgebras   cohomology   coinduction   commutative_monads   comonads   complexity_theory   computational_effects   concurrency   constraint_satisfaction_problems   constructive_mathematics   cryptography   csp   cuboidal_sets   dagger_frobenius_algebras   differential_geometry   distributed_systems   distributive_laws   domain_equations   domain_theory   elliptic_curves   enriched_category_theory   examples_functors   examples_monads   expressivity   factorisation_systems   fibrations   file-import-09-09-22   file-import-samson-abramsky   functional_analysis   functional_programming   functor_lifting   functor_presentation   functor_representation   functors   game_semantics   game_theory   generalised_metric_spaces   geometry   graph_theory   gsos   haskell   higher_category_theory   hilbert_spaces   homology   homotopy   hopf_algebra   hopf_algebras   hopf_monads   hopf_mondas   integration_theory   interaction_categories   isbell_conjugacy   kleene_algebras   kleisli_category   knot_theory   lambda_calculus   lawvere_theories   lifting   limit-colimit-coincidence   linear_logic   logic   logics   manifolds   mathematics   measure_theory   modal   modal_logic   modules   monad   monads   monad_strength   monoidal_categories   morita_duality   morita_equivalence   mu_calculus   multi_agent_logics   natural   nominal_sets   no-tag   number_theory   observational_equivalence   petri_nets   physics   pi_calculus   polynomial_equation   predicate   process_algebra   processes   profinite_groups   programming   programming_languages   proof_theory   protocols   quantales   quantaloids   quantum_computing   quantum_logic   quantum_logics   quantum_mechanics   quantum_operator_algebras   relation   retraction   reversible_computing   semirings   separation_logic   service_oriented_architectures   set_theory   sheaves   simulation   software_engineering   sos   stacks   subsitution_patterns   substituion_patterns   substitution_patterns   substitution_systems   symmetric_monoidal   tensor_categories   tilings   toget   topoi   topological_field_theory   topology   toposes   toread   traces   trace_semantics   trace_theory   type_theory   universal_algebra   wanted  
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.