Proof-theoretic conceptual modeling: the NIAM case study

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Information System Concepts
Subtitle of host publication	an in-depth Analysis
Editors	E D Falkenberg, P Lindgreen
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	1-30
Number of pages	30
ISBN (Print)	0444883231, 9780444883230
Publication status	Published - 1989

Cite this

@inbook{927c0d4d09dc4be6bbb3b382357f2c2d,

title = "Proof-theoretic conceptual modeling: the NIAM case study",

author = "C Sernandas and J Fiadeiro and R Meersman and A Sernandas and ED Falkenberg",

year = "1989",

language = "English",

isbn = "0444883231",

pages = "1--30",

editor = "Falkenberg, \{E D\} and P Lindgreen",

booktitle = "Information System Concepts",

publisher = "Elsevier",

address = "Netherlands",

}

TY - CHAP

T1 - Proof-theoretic conceptual modeling

T2 - the NIAM case study

AU - Sernandas, C

AU - Fiadeiro, J

AU - Meersman, R

AU - Sernandas, A

A2 - Falkenberg, ED

A2 - Falkenberg, E D

A2 - Lindgreen, P

PY - 1989

Y1 - 1989

UR - https://books.google.co.uk/books/about/Information_system_concepts.html?id=B3KwAAAAIAAJ&redir_esc=y

M3 - Chapter

SN - 0444883231

SN - 9780444883230

SP - 1

EP - 30

BT - Information System Concepts

PB - Elsevier

CY - Amsterdam

ER -