( en | de | ru )

 

Disambiguation of "Cruanes, Simon"

Author of the publication

copydeleteadd this publication to your clipboard
Model Finding for Recursive Functions in SMT.

, , , and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 133-151. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marcus Simon

Erstellung und Validierung eines Fragebogens für die Patientenbeurteilung der perioperativen Phase, PPP-Fragebogen. Uni Marburg, (2009)

Christine Simon

Vollblutaggregation beim Hund: Vergleich der Methode nach Born mit einer errechneten Aggregation nach Thrombozytenzählung mittels konventioneller Hämatologiesysteme. Uni Gießen, (2009)

Simon Schilling

Beitrag zur dynamischen Fehlerbaumanalyse ohne Modulbildung und zustandsbasierte Erweiterungen. Uni Wuppertal, (2009)

Simon Hohenester

Zur Bedeutung von Proteinkinasen und Phosphatidylinositol-Kinasen für (anti)-cholestatische und (anti)-apoptotische Effekte von Gallensäuren in der Leberzelle. Uni München, (2009)

Simon Pingel

Retrospektive Analyse potentieller Beeinflussungsmodelle auf die Reoperationsrate nach mechanischem und biologischem Herzklappenersatz. Uni München, (2009)
 

Other publications of authors with the same name

Tool Integration with the Evidential Tool Bus., , , and . VMCAI, volume 7737 of Lecture Notes in Computer Science, page 275-294. Springer, (2013)Extending a Brainiac Prover to Lambda-Free Higher-Order Logic., , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 192-210. Springer, (2019)Faster, Higher, Stronger: E 2.3., , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 495-507. Springer, (2019)Making Automatic Theorem Provers more Versatile.. ARCADE@CADE, volume 51 of EPiC Series in Computing, page 11-15. EasyChair, (2017)Logtk: A Logic ToolKit for Automated Reasoning and its Implementation.. PAAR@IJCAR, volume 31 of EPiC Series in Computing, page 39-49. EasyChair, (2014)The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract)., , , , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 256-275. Springer, (2014)Making Higher-Order Superposition Work., , , , , and . CADE, volume 12699 of Lecture Notes in Computer Science, page 415-432. Springer, (2021)Satisfiability Modulo Bounded Checking.. CADE, volume 10395 of Lecture Notes in Computer Science, page 114-129. Springer, (2017)Superposition with Structural Induction.. FroCoS, volume 10483 of Lecture Notes in Computer Science, page 172-188. Springer, (2017)The Imandra Automated Reasoning System (System Description)., , , , , , , , and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 464-471. Springer, (2020)