Proof-theoretic conceptual modeling – the NIAM case-study

C SERNADAS, J FIADEIRO, R MEERSMAN, A SERNADAS

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

Original language	English
Title of host publication	INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS
Editors	ED FALKENBERG
Place of Publication	AMSTERDAM
Publisher	ELSEVIER SCIENCE PUBL B V
Pages	1-30
Number of pages	30
ISBN (Print)	0-444-88323-1
Publication status	Published - 1989
Event	WORKING CONF ON INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS - NAMUR Duration: 18 Oct 1989 → 20 Oct 1989

Conference	WORKING CONF ON INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS
City	NAMUR
Period	18/10/89 → 20/10/89

Cite this

@inproceedings{7f06a757187246988e5ebda14989caf5,

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

author = "C SERNADAS and J FIADEIRO and R MEERSMAN and A SERNADAS",

year = "1989",

language = "English",

isbn = "0-444-88323-1",

pages = "1--30",

editor = "ED FALKENBERG",

booktitle = "INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS",

publisher = "ELSEVIER SCIENCE PUBL B V",

note = "WORKING CONF ON INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS ; Conference date: 18-10-1989 Through 20-10-1989",

}

TY - GEN

T1 - Proof-theoretic conceptual modeling – the NIAM case-study

AU - SERNADAS, C

AU - FIADEIRO, J

AU - MEERSMAN, R

AU - SERNADAS, A

PY - 1989

Y1 - 1989

M3 - Conference contribution

SN - 0-444-88323-1

SP - 1

EP - 30

BT - INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS

A2 - FALKENBERG, ED

PB - ELSEVIER SCIENCE PUBL B V

CY - AMSTERDAM

T2 - WORKING CONF ON INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS

Y2 - 18 October 1989 through 20 October 1989

ER -