Skip to main navigation
Skip to search
Skip to main content
Bar-Ilan University Home
Help & FAQ
Home
Researchers
Organisations
Research output
Prizes
Student theses
Activities
Projects
Press/Media
Datasets
Equipment
Search by expertise, name or affiliation
Cut and pay
Marcelo Finger, Dov Gabbay
Universidade de São Paulo
King's College London
Research output
:
Contribution to journal
›
Article
›
peer-review
15
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Cut and pay'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Classical Logic
100%
Resource Base
50%
Limited Resources
50%
Decision Procedure
50%
Cut Rule
50%
Tableau-based Decision Procedures
50%
Uniform Substitution
50%
Complete Semantics
50%
Substitution Property
50%
Approximation Process
50%
Mathematics
Decision Procedure
100%
Classical Logic
100%