Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Theoretical Computer Science
Complexity and Online Algorithms for Minimum Skyline Coloring of Intervals
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Characterizing Contextual Equivalence in Calculi With Passivation
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Uniform Satisfiability Problem for Local Temporal Logics Over Mazurkiewicz Traces
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Degree Lower Bounds of Tower-Type for Approximating Formulas With Parity Quantifiers
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
A Simple and Efficient Union–Find–Delete Algorithm
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Model of Dynamic Separation for Transactional Memory
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Quantitative Languages
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Complexity and Approximability of Extended Spanning Star Forest Problems in General and Complete Graphs
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Effectful Applicative Similarity for Call-By-Name Lambda Calculi
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Abstract Geometrical Computation 4: Small Turing Universal Signal Machines
Theoretical Computer Science
Computer Science
Theoretical Computer Science
‹
107
108
109
110
111
112
113
›
