Skip to main navigation
Skip to search
Skip to main content
Heriot-Watt Research Portal Home
Help & FAQ
Home
Profiles
Research units
Research output
Datasets
Impacts
Equipment
Prizes
Activities
Press/Media
Courses
Search by expertise, name or affiliation
One-and-a-halfth-order Logic
Murdoch Gabbay
, Aad Mathijssen
School of Mathematical & Computer Sciences
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
33
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'One-and-a-halfth-order Logic'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
INIS
levels
100%
implementation
100%
capture
100%
algebra
100%
specifications
100%
foundations
100%
Computer Science
Algebraic Specifications
100%
Case Study
100%
Mathematics
Made Explicit
100%