Skip to main navigation
Skip to search
Skip to main content
NYU Scholars Home
Help & FAQ
Home
Profiles
Research Units
Research output
Search by expertise, name or affiliation
Bi-inductive structural semantics
Patrick Cousot
, Radhia Cousot
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Bi-inductive structural semantics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Abstraction
38%
Calculus
28%
Coinduction
51%
Cover
26%
Generalization
36%
Grammar
38%
Inductive Definitions
100%
Operational Semantics
45%
Semantics
61%
Structural Operational Semantics
58%
Trace
28%
Engineering & Materials Science
Semantics
48%