Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M. Praveen
A Relational Trace Logic for Vector Addition Systems With Application to Context-Freeness
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems
Biological Role of Anions (Sulfate, Nitrate , Oxalate and Acetate) on the Antibacterial Properties of Cobalt (II) and Nickel(II) Complexes With Pyrazinedicarboxaimide Derived, Furanyl and Thienyl Compounds
Metal-Based Drugs
