Proof-theoretic conceptual modeling: the NIAM case study

C Sernandas, J Fiadeiro, R Meersman, A Sernandas, ED Falkenberg (Editor)

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationInformation System Concepts
Subtitle of host publicationan in-depth Analysis
EditorsE D Falkenberg, P Lindgreen
Place of PublicationAmsterdam
PublisherElsevier Science Publishers
Pages1-30
Number of pages30
ISBN (Print)0444883231, 9780444883230
Publication statusPublished - 1989

Cite this

Sernandas, C., Fiadeiro, J., Meersman, R., Sernandas, A., & Falkenberg, ED. (Ed.) (1989). Proof-theoretic conceptual modeling: the NIAM case study. In E. D. Falkenberg, & P. Lindgreen (Eds.), Information System Concepts: an in-depth Analysis (pp. 1-30). Elsevier Science Publishers.