Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Enumerating independent linear inferences
Anupam Das
, Alex Rice
Computer Science
Research output
:
Working paper/Preprint
›
Preprint
26
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Enumerating independent linear inferences'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Switch
100%
Valid
34%
Substructural Logics
34%
Leverage
29%
Proof Theory
29%
Valid Inequalities
28%
Linear Logic
27%
Graphical Representation
27%
Proof System
26%
Boolean algebra
23%
Normalization
22%
Modulo
19%
Linear equation
18%
Term
12%
Model
7%