Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Theoretical Computer Science
The Relationship Between Separation Logic and Implicit Dynamic Frames
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Lazy Evaluation and Delimited Control
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Random Strings and Tt-Degrees of Turing Complete C.E. Sets
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Proof of Kamp's Theorem
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Local Projection Stabilisation on S-Type Meshes for Convection–diffusion Problems With Characteristic Layers
Computing (Vienna/New York)
Numerical Analysis
Computational Theory
Computer Science Applications
Computational Mathematics
Mathematics
Theoretical Computer Science
Software
Learning With Data: Visualization to Support Teaching, Learning, and Assessment
Technology, Knowledge and Learning
Human-Computer Interaction
Engineering
Computer Science Applications
Mathematics
Computational Theory
Education
Theoretical Computer Science
The Complexity of Linear-Time Temporal Logic Over the Class of Ordinals
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Parameterized Synthesis
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Sustainability and Scalability in Educational Technology Initiatives: Research-Informed Practice
Technology, Knowledge and Learning
Human-Computer Interaction
Engineering
Computer Science Applications
Mathematics
Computational Theory
Education
Theoretical Computer Science
Kripke Semantics for Martin-Löf's Extensional Type Theory
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
‹
110
111
112
113
114
115
116
›
