Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Computational Theory
Formally Verified Approximations of Definite Integrals
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
MizAR 40 for Mizar 40
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Automata-Based Axiom Pinpointing
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Adding Decision Procedures to SMT Solvers Using Axioms With Triggers
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Universal Constructions That Ensure Disjoint-Access Parallelism and Wait-Freedom
Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Computational Theory
Mathematics
Theoretical Computer Science
Editorial: Special Issue of PODC 2017 and DISC 2017
Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Computational Theory
Mathematics
Theoretical Computer Science
Multi-Completion With Termination Tools
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Computability of Operators on Continuous and Discrete Time Streams
Computability
Theoretical Computer Science
Computational Theory
Computer Science Applications
Artificial Intelligence
Mathematics
Tree Representations via Ordinal Machines
Computability
Theoretical Computer Science
Computational Theory
Computer Science Applications
Artificial Intelligence
Mathematics
‹
166
167
168
169
170
171
172
›
