• Title of article

    Semantic data modelling using linear logic

  • Author/Authors

    Dong-Tsan Lee، نويسنده ,

  • Issue Information
    دوهفته نامه با شماره پیاپی سال 1996
  • Pages
    9
  • From page
    19
  • To page
    27
  • Keywords
    Linear logic , Knowledge representation , Events , Databases , Data modelling , Transition constraints , Specification languages
  • Journal title
    Information Processing Letters
  • Serial Year
    1996
  • Journal title
    Information Processing Letters
  • Record number

    128561