Sava Krstić

From MaRDI portal
Person:1064406

Available identifiers

zbMath Open krstic.sava-aMaRDI QIDQ1064406

List of research outcomes





PublicationDate of PublicationType
Coroutining folds with hyperfunctions2021-06-21Paper
Mothers of pipelines2013-12-06Paper
Tool building requirements for an API to first-order solvers2013-09-26Paper
Quantifier instantiation techniques for finite model finding in SMT2013-06-14Paper
Ground interpolation for the theory of equality2012-04-03Paper
Canonization for disjoint unions of theories.2010-04-20Paper
Ground Interpolation for Combined Theories2009-07-28Paper
Ground Interpolation for the Theory of Equality2009-03-31Paper
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL2008-09-16Paper
Combined Satisfiability Modulo Parametric Theories2007-09-03Paper
Strategies for combining decision procedures2006-04-28Paper
Canonization for disjoint unions of theories2005-08-05Paper
https://portal.mardi4nfdi.de/entity/Q44179542003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q27694372002-02-05Paper
Crossing matrices and Thurston's normal form for braids.2002-01-01Paper
An equivariant Whitehead algorithm and conjugacy for roots of Dehn twist automorphisms2001-11-13Paper
Normal Forms for Basis-Conjugating Automorphisms of a Free Group2000-05-10Paper
Presenting \(GL_n (k\langle T\rangle)\)2000-02-06Paper
The Non-Finite Presentability of the Automorphism Group of the Free Z -Group of Rank Two1999-03-18Paper
The non-finite presentability of \(IA(F_ 3)\) and \(\text{GL}_ 2(Z[t,t^{-1}])\)1998-02-09Paper
Finite Presentability of Φn (G ), GLn (ZG) and their Elementary Subgroups and Steinberg Groups1997-07-14Paper
Free quotients of 𝑆𝐿₂(𝑅[𝑥])1997-05-13Paper
Equivariant outer space and automorphisms of free-by-finite groups1995-02-05Paper
Finitely Generated Virtually Free Groups have Finitely Presented Automorphism Group1992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q34876371990-01-01Paper
On Graphs Representing Automorphisms of Free Groups1989-01-01Paper
Actions of finite groups of graphs and related automorphisms of free groups1989-01-01Paper
A uniqueness decomposition theorem for actions of finite groups on free groups1989-01-01Paper
Fixed subgroups of automorphisms of free by finite groups: an extension of Cooper's proof1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37393641986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37707161985-01-01Paper
Systems of equations over locally \(p\)-indicable groups1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37707171985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37189241985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33376411984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30376431983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39267871980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39431261980-01-01Paper

Research outcomes over time

This page was built for person: Sava Krstić