Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Theoretical Computer Science
Sum and Product in Dynamic Epistemic Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Narratives in the Situation Calculus
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Warranty Cost Analysis for Nonrepairable Services Products
International Journal of Systems Science
Control
Systems Engineering
Computer Science Applications
Theoretical Computer Science
Destructive Modal Resolution
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Least Squares Parameter Estimation Algorithms for Non-Linear Systems
International Journal of Systems Science
Control
Systems Engineering
Computer Science Applications
Theoretical Computer Science
Computing the Maximum Bichromatic Discrepancy, With Applications to Computer Graphics and Machine Learning
Journal of Computer and System Sciences
Computer Networks
Applied Mathematics
Communications
Computational Theory
Mathematics
Theoretical Computer Science
Generalized Quantifiers and Logical Reducibilities
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Single Complete Refinement Rule for Z
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Labelled Propositional Modal Logics: Theory and Practice
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
‹
837
838
839
840
841
842
843
›
