The following pages link to Sava Krstić (Q1064406):
Displaying 37 items.
- Systems of equations over locally \(p\)-indicable groups (Q1064408) (← links)
- Fixed subgroups of automorphisms of free by finite groups: an extension of Cooper's proof (Q1092162) (← links)
- (Q1121990) (redirect page) (← links)
- Actions of finite groups of graphs and related automorphisms of free groups (Q1121991) (← links)
- A uniqueness decomposition theorem for actions of finite groups on free groups (Q1262393) (← links)
- Presenting \(GL_n (k\langle T\rangle)\) (Q1304897) (← links)
- Equivariant outer space and automorphisms of free-by-finite groups (Q1311207) (← links)
- The non-finite presentability of \(IA(F_ 3)\) and \(\text{GL}_ 2(Z[t,t^{-1}])\) (Q1365353) (← links)
- Strategies for combining decision procedures (Q2368951) (← links)
- Canonization for disjoint unions of theories (Q2486580) (← links)
- AN EQUIVARIANT WHITEHEAD ALGORITHM AND CONJUGACY FOR ROOTS OF DEHN TWIST AUTOMORPHISMS (Q2716983) (← links)
- (Q2769437) (← links)
- (Q2848686) (← links)
- Ground interpolation for the theory of equality (Q2881073) (← links)
- (Q3037643) (← links)
- (Q3337641) (← links)
- (Q3487637) (← links)
- Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL (Q3524998) (← links)
- Ground Interpolation for the Theory of Equality (Q3617772) (← links)
- (Q3718924) (← links)
- (Q3739364) (← links)
- (Q3770716) (← links)
- (Q3770717) (← links)
- Finite Presentability of Φ<sub>n</sub> (<i>G</i> ), GL<sub>n</sub> (ZG) and their Elementary Subgroups and Steinberg Groups (Q3837246) (← links)
- (Q3926787) (← links)
- (Q3943126) (← links)
- Finitely Generated Virtually Free Groups have Finitely Presented Automorphism Group (Q4009428) (← links)
- On Graphs Representing Automorphisms of Free Groups (Q4206931) (← links)
- Free quotients of 𝑆𝐿₂(𝑅[𝑥]) (Q4336626) (← links)
- The Non-Finite Presentability of the Automorphism Group of the Free <i>Z</i> -Group of Rank Two (Q4399275) (← links)
- (Q4417954) (← links)
- Normal Forms for Basis-Conjugating Automorphisms of a Free Group (Q4704560) (← links)
- Quantifier Instantiation Techniques for Finite Model Finding in SMT (Q4928453) (← links)
- (Q4994691) (← links)
- Ground Interpolation for Combined Theories (Q5191102) (← links)
- Combined Satisfiability Modulo Parametric Theories (Q5758134) (← links)
- Automated Deduction – CADE-19 (Q5900719) (← links)
