Skip to main navigation
Skip to search
Skip to main content
The Hebrew University of Jerusalem Home
Approve / Request updates on publications
Home
Profiles
Research units
Research output
Prizes
Search by expertise, name or affiliation
Flow logic
Orna Kupferman
, G. A.L. Vardi
*
*
Corresponding author for this work
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
2
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Flow logic'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Flow Logic
100%
Flow Function
71%
Flow Network
71%
Branching Flow
71%
First-order
42%
Maximal Flow
42%
CTL*
28%
Order Quantification
28%
Polynomial Time
14%
Computer Science
14%
Logic Formulas
14%
Temporal Logic
14%
Directed Graph
14%
PSPACE-complete
14%
Maximal Matching
14%
Flow Value
14%
Integral Flow
14%
Query Checking
14%
Modal Logic
14%
Optimal Scheduling
14%
Network Flow
14%
Zero Flow
14%
All-Path
14%
Flow Quantification
14%
Operator Order
14%
Network Exploration
14%
Computer Science
Model Checking Problem
100%
Order Quantification
100%
Polynomial Time
50%
Temporal Logic
50%
Application Area
50%
Directed Graphs
50%
Maximal Matching
50%
Computer Science
50%