Registrer deg | Logg på | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

ardts termination [2 articles]

Artikler nylig sendt til ardts bibliotek klassifisert med nøkkelordet termination. You can also see everyone's termination.
  • Termination checking with types
    (2002)
    by A Abel
    posted to termination by ardt on 2008-04-15 15:01:39 as ** along with 2 people and 2 groups greenrd zednenem SRG_at_UCD Lambda the Ultimate
  • Homeomorphic embedding for online termination
    (1998)
    by M Leuschel
    posted to termination by ardt on 2008-04-15 14:57:41 as ***
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/ardt/tag/termination

    RIS BibTeX
    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.