Computer science

Stratified Datalog and Program Analysis

by Anders Schlichtkrull, René Rydhof Hansen and Flemming Nielson

Mission-time Linear Temporal Logic Formula Progression

by Katherine Kosaian, Zili Wang and Elizabeth Sloan

Pushdown Systems

by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel

Labeled Transition Systems

by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel

The Halting Problem is Soluble in Malament-Hogarth Spacetimes

by Mike Stannett