Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David E. Muller
Context-Free Languages, Groups, the Theory of Ends, Second-Order Logic, Tiling Problems, Cellular Automata, and Vector Addition Systems
Bulletin of the American Mathematical Society
Mathematics
Applied Mathematics
Related publications
A Relational Trace Logic for Vector Addition Systems With Application to Context-Freeness
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Equivalence and Containment Problems for Context-Free Languages
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Second-Order Perturbation Theory: Problems on Large Scales
Physical Review D
On Sturmian Theory for Second Order Systems
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Cellular Automata and Discrete Complex Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cellular Automata and Discrete Complex Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Syntactical Analysis of Monomials in Context-Free Languages Taking Into Account the Productions Application Order
Prikladnaya diskretnaya matematika. Prilozhenie
Linear Matrix Inequalities for Analysis and Control of Linear Vector Second-Order Systems
International Journal of Robust and Nonlinear Control
Control
Systems Engineering
Industrial
Mechanical Engineering
Electronic Engineering
Manufacturing Engineering
Electrical
Chemical Engineering
Biomedical Engineering
Aerospace Engineering
