John Rushby

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 15

Top Topics

General Logic Programs

High Confidence

Abstract Argumentation Frameworks

Semantic Analysis

Top Venues

JSAI-isAI Workshops

Specification, Algebra, and Software

Publications