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
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
Mathematics
Order
100%
Variables
80%
Algebra
20%
Made Explicit
20%
Terms
20%
Engineering
Properties
20%
Foundations
20%
Satisfies
20%
Computer Science
Case Study
20%
Algebraic Specifications
20%
Contexts
20%