Yoni Zohar und Ying Sheng - Info zur Person

(1 - 11 von 11

)

Ying Sheng - Publications - Google Sites

sites.google.com

Ying Sheng, Andres Noetzli, Andrew Reynolds, Yoni Zohar, David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark Barrett and Cesare Tinelli. › view › p...

Best Paper Award - CADE

www.cadeinc.org

Recipients · CADE-28 (2021): Tobias Nipkow and Simon Roßkopf - Isabelle's Metalogic: Formalization and Proof Checker. · 10th IJCAR (2020): Ying Sheng, Yoni Zohar, ... › Best-Pap...

People | cvc5

cvc5.github.io

Alex Ozdemir (Stanford University) Ying Sheng (Stanford University) Yoni Zohar (Stanford University, Bar Ilan University) › people

Politeness and Stable Infiniteness: Stronger Together - Archive...

hal.archives-ouvertes.fr

von Y Sheng · · Zitiert von: 2 — Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark Barrett, et al.. Politeness and Stable Infiniteness: Stronger Together. › ha...

Politeness for the Theory of Algebraic Datatypes Hal-Inria

hal.inria.fr

von Y Sheng · · Zitiert von: 4 — Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, et al.. Politeness for the Theory of Algebraic Datatypes (Extended Abstract). › hal

Politeness for the Theory of Algebraic Datatypes IJCAI

www.ijcai.org

Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett. Proceedings of the Thirtieth International Joint Conference on ... › proceedings

Proceedings of the Thirtieth International Joint Conference on ...

www.ijcai.org

Argyrios Deligkas, Eduard Eiben, Robert Ganian, Thekla Hamm, Sebastian Ordyniak ... Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, ... › proceedings

Publis – Christophe RINGEISSEN - Loria

members.loria.fr

von S Erbatur · Zitiert von: 1 — titre: Politeness for the Theory of Algebraic Datatypes (Extended Abstract); auteur: Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, ... › publicati...

SMT Satisfiability Modulo Theories CEUR-WS

ceur-ws.org

— Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark Barrett, Cesare Tinelli; Quantifier Simplification by Unification in ... › Vol-2908

Alle Infos zum Namen "Yoni Zohar"

Verwandte Suchanfragen zu Yoni Zohar

Clark Barrett
Liron Cohen
Pascal Fontaine

Personen
Vorname "Yoni" (114)
Name "Zohar" (154)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Yoni Zohar und Ying Sheng Person-Info