Login / Signup
Muffy Calder
ORCID
Publication Activity (10 Years)
Years Active: 1997-2024
Publications (10 Years): 21
Top Topics
Bdi Agents
Deterministic Finite Automaton
Mental Attitudes
Component Failures
Top Venues
CoRR
Formal Aspects Comput.
Sci. Comput. Program.
J. Log. Algebraic Methods Program.
</>
Publications
</>