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
Separation in nonlinear time models
Amihood Amir
Tufts University
Massachusetts Institute of Technology
Research output
:
Contribution to journal
›
Article
›
peer-review
4
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Separation in nonlinear time models'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Time Model
100%
Non-linear Time
100%
Connectives
50%
Expressive Completeness
50%
Finite Sets
25%
Temporal Logic
25%
Branching Time
25%
Logical Systems
25%
Separation Theorem
25%
Computer Science
Expressive Completeness
100%
Temporal Logic
50%
Branching Time
50%
Separation Theorem
50%
Proving Completeness
50%
Mathematics
Time Model
100%
Finite Set
25%