Skip to main navigation
Skip to search
Skip to main content
Heriot-Watt Research Portal Home
Help & FAQ
Link opens in a new tab
Search content at Heriot-Watt Research Portal
Home
Profiles
Research units
Research output
Datasets
Impacts
Equipment
Prizes
Activities
Press/Media
Courses
Deciding extensions of the theories of vectors and bags
Patrick Maier
School of Mathematical & Computer Sciences
Computer Science
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Deciding extensions of the theories of vectors and bags'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Data Structure
100%
Decision Procedure
100%
Basic Collection
50%
INIS
vectors
100%
data
20%
comparative evaluations
10%
algorithms
10%
maps
10%
specifications
10%
Engineering
Bridging
100%