Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stephen D. Spangehl
Elements of Formal Semantics: An Introduction to Logic for Students of Language
Language
Linguistics
Language
Related publications
Expressing the Formal Semantics of CSP and CP or ADA Tasking With the Temporal Logic Language XYZ/E.
An Ocarina Extension for AADL Formal Semantics Generation
Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
An Introduction to Modern Logic.
The Journal of Philosophy, Psychology and Scientific Methods
An Introduction to Symbolic Logic
Physics Today
Astronomy
Physics
Compositionality and Concepts—A Perspective From Formal Semantics and Philosophy of Language
Compositionality and Concepts in Linguistics and Psychology
Remarks on an Algebraic Semantics for Paraconsistent Nelson's Logic
Manuscrito
Philosophy
Bialgebraic Semantics for Logic Programming
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Truthmaker Semantics for Relevant Logic
Journal of Philosophical Logic
Philosophy
