Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
Search by expertise, name or affiliation
Andrea Schalk
Dr
Lecturer
,
Formal Methods
https://orcid.org/0000-0003-2300-0962
Overview
Fingerprint
Network
Research output
(12)
Similar Profiles
(1)
Supervised Work
(8)
Research output
6
Article
5
Conference contribution
1
Other
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Other
Search results
2012
Introduction to Game Semantics
Schalk, A.
,
Jun 2012
.
Research output
:
Contribution to conference
›
Other
Unsolved Problem
100%