Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Computational Theory
Decidable Call-By-Need Computations in Term Rewriting
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Bridging the Gap Between Fair Simulation and Trace Inclusion
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Equality Between Functionals in the Presence of Coproducts
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Games and Full Abstraction for FPC
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
A Complete Axiomatisation for Observational Congruence of Finite-State Behaviours
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Threshold Circuits of Small Majority-Depth
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
On the Relation Between BDDs and FDDs
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Parametric Timing Analysis for Real-Time Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Lower Bounds for the Weak Pigeonhole Principle and Random Formulas Beyond Resolution
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Proving Nondeterministically Specified Safety Properties Using Progress Measures
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
‹
494
495
496
497
498
499
500
›
