msakai's tags

agda algebra algebraic-specification algorithm alloy alp aop arithmetic category-theory channel-theory chr coalgebra compiler complexity compresison concurrency continuation copyright coq database debug denotational-semantics dependent-types design-by-contract determinacy domain-theory encryption filesystem functional functional-logic-programming functional-programming game game-semantics garbage-collection graph-rewriting gui haskell history ilp information-theory institution intuitionistic kleene-algebra lambda-calculus lcm linear-logic linguistics logic logical-relation logic-programming machine-learning maude modal-logic model-checking number-theory ontology operational-semantics parametricity parser philosophy polymorphism ppl2008 process-algebra program-analysis program-transformation prolog provability prover quantum regular-expression rewriting ruby scala security self-reference semantics semantic-web slacs2007 soft-typing specification static-checking strictness-analysis temporal-logic tex theorem-proving thermodynamics topology type-classes type-theory unix vaguness verification virtual-machine web

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.