×
Edit Profile (opens in new tab)

Katrak, Cyrus

Co-Author Distance
Author ID: katrak.cyrus Recent zbMATH articles by "Katrak, Cyrus"
Published as: Katrak, Cyrus
Documents Indexed: 1 Publication since 2008
Co-Authors: 4 Co-Authors with 1 Joint Publication
50 Co-Co-Authors

Co-Authors

0 single-authored
1 Bongio, Jeremy
1 Lin, Hai
1 Lynch, Christopher A.
1 McGgregor, Ralph Eric

Serials

Fields

1 Mathematical logic and foundations (03-XX)
1 Computer science (68-XX)

Publications by Year

Citations contained in zbMATH Open

1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼
Encoding first order proofs in SMT. Zbl 1277.03006
Bongio, Jeremy; Katrak, Cyrus; Lin, Hai; Lynch, Christopher; McGgregor, Ralph Eric
1
2008
Encoding first order proofs in SMT. Zbl 1277.03006
Bongio, Jeremy; Katrak, Cyrus; Lin, Hai; Lynch, Christopher; McGgregor, Ralph Eric
1
2008

Cited by 2 Authors

1 Janičić, Predrag
1 Narboux, Julien

Cited in 1 Serial

1 Journal of Automated Reasoning

Cited in 1 Field

1 Computer science (68-XX)

Citations by Year