Computer science
Subject Classification
AMS: Computer science
2025
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
2023
Labeled Transition Systems
by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel