2008 | OriginalPaper | Chapter
Specification
Published in: Institution-independent Model Theory
Publisher: Birkhäuser Basel
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
This chapter is devoted to some applications of institution-independent model theory to specification theory, thus it digresses slightly from the main topic of the book.