Anne Kersten Kauer

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Agent Programming

Classical First Order Logic

Nonmonotonic Logics

Imperative Programs

Top Venues

Publications

Roberto Bruni, Anne Kersten Kauer
LTS Semantics for Compensation-Based Processes. TGC (2012)
Roberto Bruni, Carla Ferreira, Anne Kersten Kauer
First-Order Dynamic Logic for Compensable Processes. COORDINATION (2012)