Characterising Object-based Frameworks in First-order Predicate Logic

Research output: Chapter in Book/Conference proceeding › Chapter

Original language	English
Title of host publication	Mathematical Frameworks for Component Software
Publisher	World Scientific Publishing Co. Pte. Ltd
ISBN (Print)	981-270-017-X
Publication status	Published - 2006

Cite this

@inbook{013ea6f5fd35408ea067794f7f38644f,

title = "Characterising Object-based Frameworks in First-order Predicate Logic",

author = "S.-M. Ho and K.-K. Lau",

year = "2006",

language = "English",

isbn = "981-270-017-X",

booktitle = "Mathematical Frameworks for Component Software",

publisher = "World Scientific Publishing Co. Pte. Ltd",

address = "Singapore",

}