Web Access Research Portal
Research Output Details
| Honsell, F and Mason, IA and Smith, SF and Talcott, CL, “A Variable Typed Logic of Effects”, Information and Computation, 119 (1) pp. 55-90. ISSN 0890-5401 (1995) [Refereed Article] | |
| Data Type | Value |
|---|---|
| Type of Research | Pure Basic Research |
| Research Division | Information and Computing Sciences |
| Research Group | Information systems |
| Research Field | Information systems not elsewhere classified |
| Research Objective Division | Information and Communication Services |
| Research Objective Group | Other information and communication services |
| Research Objective Field | Other information and communication services not elsewhere classified |
| Visit Item on eCite | http://ecite.utas.edu.au/4707 |
| Digital Object Identifier | doi:10.1006/inco.1995.1077 |
| Scopus Source URL | View the full record on Scopus |
| Scopus Citing URL | View the list of citing articles on Scopus |
| Web of Science® Source URL | View the full record on Web of Science® |
| Web of Science® Citing URL | View the list of citing articles on Web of Science® |
| Web of Science® Related URL | View the list of related articles on Web of Science® |
| Number of Times Cited | 37 |