Similar Items: One is all you need: Second-order Unification without First-order Variables
- First Order Logic on Pathwidth Revisited Again
- Finite-Time Stability Analysis for a Class of Second-Order System With Input Delay
- Underdamped Langevin MCMC with third order convergence
- Gradual Semantics for Weighted Higher-Order Argumentation Frameworks
- MeatPy: A Python Framework for Limit Order Book Reconstruction and Analysis
- Experimental Validation of Metaheuristic Optimized Fractional-Order PID Control for a Rotary Inverted Pendulum