Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J Strother Moore
Inductive Assertions and Operational Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Mechanical Proof of the Turing Completeness of Pure Lisp
Contemporary Mathematics
Mathematics
Related publications
Modular Structural Operational Semantics
BRICS Report Series
Operational Semantics: Concepts and Their Expression
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Goal Solving as Operational Semantics
Operational Semantics Using the Partiality Monad
ACM SIGPLAN Notices
Computer Science
An Operational Semantics for Android Activities
An Operational Semantics for Timed RAISE
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Operational Semantics for Network Datalog
A Rewriting Logic Approach to Operational Semantics
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Bialgebraic Methods and Modal Logic in Structural Operational Semantics
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
