Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
Link opens in a new tab
English
Nederlands
Search content at Research portal Eindhoven University of Technology
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facility/Lab/Equipment
Datasets
Courses
Research areas
Student theses
Bisimulation for neighbourhood structures
H.H. Hansen, C.A. Kupke, E. Pacuit
Research output
:
Book/Report
›
Report
›
Academic
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Bisimulation for neighbourhood structures'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Neighborhood Structure
100%
Powerset
33%
Normal Modal Logic
33%
Characterization Theorem
33%
coalgebra
33%
Contravariant
33%
Mathematics
Functor
100%
Contravariant
100%