Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Seikoh Mikami
A Study of Abramsky’s Linear Chemical Abstract Machine
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
The Chemical Abstract Machine
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Abstract Machine
The Vienna Abstract Machine
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstract Language of the Machine Mind
Acta Electrotechnica et Informatica
Exponential Stability of an Abstract Nondissipative Linear System
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Towards a Calculus for Non-Linear Spectral Gaps: [Extended Abstract]
Abstract Categorial Parsing as Linear Logic Programming
Decoding of Machine Instructions for Abstract Interpretation of Binary Code
Proceedings of the Institute for System Programming of the RAS
