Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by T. S. Millar
Type Structure Complexity and Decidability
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Related publications
Decidability and Complexity in Automatic Monoids
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mortality of Iterated Piecewise Affine Functions Over the Integers: Decidability and Complexity
Computability
Theoretical Computer Science
Computational Theory
Computer Science Applications
Artificial Intelligence
Mathematics
Decidability of Conversion for Type Theory in Type Theory
Proceedings of the ACM on Programming Languages
Decidability of Irreducible Tree Shifts of Finite Type
Journal of Statistical Physics
Nonlinear Physics
Mathematical Physics
Statistical
Completeness and Decidability of Converse PDL in the Constructive Type Theory of Coq
Decidability and Syntactic Control of Interference
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Decidability and Undecidability of Marked PCP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Continuous Petri Nets: Expressive Power and Decidability Issues
International Journal of Foundations of Computer Science
Computer Science
On the Decidability of FDNC Programs
Intelligenza Artificiale
Artificial Intelligence
