The logical structure of modular semantic theories of software systems.
Saved in:
| Title: | The logical structure of modular semantic theories of software systems. |
|---|---|
| Authors: | Angius, Nicola1, nicola.angius@unime.it, Stefaneas, Petros2 |
| Source: | Metaphilosophy; Jul2024, Vol. 55 Issue 3, p440-456, 17p |
| Database: | Humanities Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| FullText | Links: – Type: pdflink Text: Availability: 1 |
|---|---|
| Header | DbId: hus DbLabel: Humanities Source An: 178683680 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: The logical structure of modular semantic theories of software systems. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Angius%2C+Nicola%22">Angius, Nicola</searchLink><relatesTo>1</relatesTo>, <i>nicola.angius@unime.it</i><br /><searchLink fieldCode="AU" term="%22Stefaneas%2C+Petros%22">Stefaneas, Petros</searchLink><relatesTo>2</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Metaphilosophy%22">Metaphilosophy</searchLink>; Jul2024, Vol. 55 Issue 3, p440-456, 17p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=hus&AN=178683680 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1111/meta.12701 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 17 StartPage: 440 Titles: – TitleFull: The logical structure of modular semantic theories of software systems. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Angius, Nicola – PersonEntity: Name: NameFull: Stefaneas, Petros IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 07 Text: Jul2024 Type: published Y: 2024 Identifiers: – Type: issn-print Value: 00261068 Numbering: – Type: volume Value: 55 – Type: issue Value: 3 Titles: – TitleFull: Metaphilosophy Type: main |
| ResultId | 1 |