自分のプロフィールを作成
オープン アクセス
すべて表示10 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Armin BiereProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Gergely KovásznaiEszterhazy Karoly University確認したメール アドレス: aries.ektf.hu
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wien確認したメール アドレス: forsyte.tuwien.ac.at
- Christoph M. WintersteigerImandra確認したメール アドレス: imandra.ai
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Tomas BalyoFiluta AI確認したメール アドレス: filuta.ai
- Uwe SchöningProfessor of Computer Science, Ulm University, retired確認したメール アドレス: uni-ulm.de
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British Columbia確認したメール アドレス: cs.rwth-aachen.de
- Dave A. D. TompkinsLecturer, Computer Science, University of Waterloo確認したメール アドレス: uwaterloo.ca
- Dr. Adrian BalintUlm University