Searching for authors named "Sava Krstic" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Presenting GL_n(k )
- …PRESENTING GL n (khT i) Sava Krstic* and James McCool** x1. Introduction. We give some extensions…
- Add To MetaCart
-
Verifying BDD Algorithms through Monadic Interpretation
- …Verifying BDD Algorithms through Monadic Interpretation ⋆ Sava Krstić 1 and John Matthews 2 1…
- Cited by 9 (3 self) – Add To MetaCart
-
Subject Reduction and Confluence for the reFLect Language
- …Subject Reduction and Con uence for the reFLect Language ? Sava Krstic and John Matthews OGI…
- Cited by 1 (1 self) – Add To MetaCart
-
The Non-Finite Presentability Of Ia(f_3) And Gl_2(z[t,t^-1])
- …THE NON-FINITE PRESENTABILITY OF IA(F 3 ) AND GL 2 (Z[t; t 1 ]) Sava Krstic* and James McCool** 1…
- Cited by 1 (0 self) – Add To MetaCart
-
Normal Forms for Basis-Conjugating Automorphisms of a Free Group
- …NORMAL FORMS FOR BASIS-CONJUGATING AUTOMORPHISMS OF A FREE GROUP Mauricio Gutierrez and Sava Krstic…
- Cited by 1 (0 self) – Add To MetaCart
-
Strategies for Combining Decision Procedures
- …Strategies for Combining Decision Procedures ? Sylvain Conchon a Sava Krstic b a LRI…
- Cited by 8 (1 self) – Add To MetaCart
-
Canonization for Disjoint Unions of Theories
- …Canonization for Disjoint Unions of Theories Sava Krstic a Sylvain Conchon b a OGI School…
- Cited by 7 (1 self) – Add To MetaCart
-
Top-level Refinement in Processor Verification
- …Top-level Refinement in Processor Verification Sava Krsti'c, Byron Cook, John Launchbury, and John…
- Add To MetaCart
-
A Correctness Proof of a Speculative, Superscalar, Out-of-Order, Renaming Microarchitecture
- … | extended technical report Sava Krstic, Byron Cook, John Launchbury, and John Matthews fkrstic…
- Add To MetaCart
-
Hyperfunctions
- …Hyperfunctions Sava Krstic 1 , John Launchbury 1 , and Dusko Pavlovic 2 1 Oregon Graduate…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
