Theoretical Computer Science

ISSNs: 0304-3975, 03043975

Elsevier BV, Netherlands

FI (2013): 2, ISI indexed (2013): yes

Central database

Journal

  1. 1988
  2. Published

    Two-Level Semantics and Code Generation. / Nielson, Flemming; Nielson, Hanne Riis.

    In: Theoretical Computer Science, Vol. 56, No. 1, 1988, p. 59-133.

    Publication: Research - peer-reviewJournal article – Annual report year: 1988

  3. 1989
  4. Published

    Two-Level Semantics and Abstract Interpretation. / Nielson, Flemming.

    In: Theoretical Computer Science -- Fundamental Studies, Vol. 69, No. 2, 1989, p. 117-242.

    Publication: Research - peer-reviewJournal article – Annual report year: 1989

  5. 1990
  6. Published

    Functional completeness of the mixed λ-calculus and combinatory logic. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Theoretical Computer Science, Vol. 70, No. 1, 1990, p. 99-126.

    Publication: Research - peer-reviewJournal article – Annual report year: 1990

  7. 1995
  8. Published

    Finite Divergence. / Hansen, Michael Edberg; Pandya, P. K.; Chaochen, Zhou.

    In: Theoretical Computer Science, Vol. 138, No. 1, 1995, p. 113-139.

    Publication: Research - peer-reviewJournal article – Annual report year: 1995

  9. 1996
  10. Published

    From CML to its Process Algebra. / Nielson, Flemming; Nielson, Hanne Riis.

    In: Theoretical Computer Science, Vol. 155, No. 1, 1996, p. 179-219.

    Publication: Research - peer-reviewJournal article – Annual report year: 1996

  11. 1997
  12. Published

    Order-sorted Algebraic Specifications with Higher-order. / Haxthausen, Anne Elisabeth.

    In: Theoretical Computer Science, Vol. 183, No. 2, 1997, p. 157-185.

    Publication: Research - peer-reviewJournal article – Annual report year: 1997

  13. Published

    PAC-Learning from General Examples. / Fischer, Paul; Hoeffgen, K.- U.; Lefmann, H.

    In: Theoretical Computer Science, Vol. 172, No. 1-2, 1997, p. 43-65.

    Publication: Research - peer-reviewJournal article – Annual report year: 1997

  14. 2002
  15. Published

    Theoretical Computer Science. / Fischer, Paul (Editor); Simon, H. (Editor); Smith, C. (Editor).

    In: Theoretical Computer Science, Vol. 284, No. 1, 2002.

    Publication: Research - peer-reviewConference article – Annual report year: 2002

  16. Published

    Validating Firewalls using Flow Logics. / Nielson, Flemming; Nielson, Hanne Riis; Hansen, René Rydhof.

    In: Theoretical Computer Science, Vol. 283, No. 2, 2002, p. 381-418.

    Publication: Research - peer-reviewJournal article – Annual report year: 2002

  17. 2004
  18. Published

    The complexity of computing the MCD-estimator. / Bernholt, T.; Fischer, Paul.

    In: Theoretical Computer Science, Vol. 326, No. 1-3, 2004, p. 383-398.

    Publication: Research - peer-reviewJournal article – Annual report year: 2004

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word