SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION.
Saved in:
| Title: | SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION. |
|---|---|
| Authors: | PARK, SEWON1, swelite@kaist.ac.kr, BRAUSSE, FRANZ2, ziegler@kaist.ac.kr, COLLINS, PIETER3, franz.brausse@manchester.ac.uk, KIM, SUNYOUNG4, pieter.collins@maastrichtuniversity.nl, KONEČNÝ, MICHAL5, sy831@yonsei.ac.kr, LEE, GYESIK6, m.konecny@aston.ac.uk, MÜLLER, NORBERT7, gslee@hknu.ac.kr, NEUMANN, EIKE8, mueller@uni-trier.de, PREINING, NORBERT9, neumaef1@gmail.com, ZIEGLER, MARTIN1, norbert@preining.info |
| Source: | Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 2, p1-55, 55p |
| Database: | Applied Science & Technology Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 178544145 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22PARK%2C+SEWON%22">PARK, SEWON</searchLink><relatesTo>1</relatesTo>, <i>swelite@kaist.ac.kr</i><br /><searchLink fieldCode="AU" term="%22BRAUSSE%2C+FRANZ%22">BRAUSSE, FRANZ</searchLink><relatesTo>2</relatesTo>, <i>ziegler@kaist.ac.kr</i><br /><searchLink fieldCode="AU" term="%22COLLINS%2C+PIETER%22">COLLINS, PIETER</searchLink><relatesTo>3</relatesTo>, <i>franz.brausse@manchester.ac.uk</i><br /><searchLink fieldCode="AU" term="%22KIM%2C+SUNYOUNG%22">KIM, SUNYOUNG</searchLink><relatesTo>4</relatesTo>, <i>pieter.collins@maastrichtuniversity.nl</i><br /><searchLink fieldCode="AU" term="%22KONEČNÝ%2C+MICHAL%22">KONEČNÝ, MICHAL</searchLink><relatesTo>5</relatesTo>, <i>sy831@yonsei.ac.kr</i><br /><searchLink fieldCode="AU" term="%22LEE%2C+GYESIK%22">LEE, GYESIK</searchLink><relatesTo>6</relatesTo>, <i>m.konecny@aston.ac.uk</i><br /><searchLink fieldCode="AU" term="%22MÜLLER%2C+NORBERT%22">MÜLLER, NORBERT</searchLink><relatesTo>7</relatesTo>, <i>gslee@hknu.ac.kr</i><br /><searchLink fieldCode="AU" term="%22NEUMANN%2C+EIKE%22">NEUMANN, EIKE</searchLink><relatesTo>8</relatesTo>, <i>mueller@uni-trier.de</i><br /><searchLink fieldCode="AU" term="%22PREINING%2C+NORBERT%22">PREINING, NORBERT</searchLink><relatesTo>9</relatesTo>, <i>neumaef1@gmail.com</i><br /><searchLink fieldCode="AU" term="%22ZIEGLER%2C+MARTIN%22">ZIEGLER, MARTIN</searchLink><relatesTo>1</relatesTo>, <i>norbert@preining.info</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Logical+Methods+in+Computer+Science+%28LMCS%29%22">Logical Methods in Computer Science (LMCS)</searchLink>; 2024, Vol. 20 Issue 2, p1-55, 55p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=178544145 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.46298/LMCS-20(2:17)2024 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 55 StartPage: 1 Titles: – TitleFull: SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: PARK, SEWON – PersonEntity: Name: NameFull: BRAUSSE, FRANZ – PersonEntity: Name: NameFull: COLLINS, PIETER – PersonEntity: Name: NameFull: KIM, SUNYOUNG – PersonEntity: Name: NameFull: KONEČNÝ, MICHAL – PersonEntity: Name: NameFull: LEE, GYESIK – PersonEntity: Name: NameFull: MÜLLER, NORBERT – PersonEntity: Name: NameFull: NEUMANN, EIKE – PersonEntity: Name: NameFull: PREINING, NORBERT – PersonEntity: Name: NameFull: ZIEGLER, MARTIN IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 04 Text: 2024 Type: published Y: 2024 Identifiers: – Type: issn-print Value: 18605974 Numbering: – Type: volume Value: 20 – Type: issue Value: 2 Titles: – TitleFull: Logical Methods in Computer Science (LMCS) Type: main |
| ResultId | 1 |
