Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Theoretical Computer Science
Preservation and Decomposition Theorems for Bounded Degree Structures
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Special Issue on Sustainable Computing Systems and Applications
Computing (Vienna/New York)
Numerical Analysis
Computational Theory
Computer Science Applications
Computational Mathematics
Mathematics
Theoretical Computer Science
Software
Permission-Based Separation Logic for Message-Passing Concurrency
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Two-Variable Logic With Counting and a Linear Order
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
MicroClAn: Microarray Clustering Analysis
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
Unified Parallel Encoding and Decoding Algorithms for Dandelion-Like Codes
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
Finitely Generated Free Heyting Algebras via Birkhoff Duality and Coalgebra
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Noncomputable Functions in the Blum-Shub-Smale Model
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Modularity of Convergence and Strong Convergence in Infinitary Rewriting
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
‹
118
119
120
121
122
123
124
›