PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Steen, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Leo-III Version 1.1 (System description).

, , and . IWIL@LPAR, volume 1 of Kalpa Publications in Computing, EasyChair, (2017)

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.

Dr. Helge Steenweg University of Stuttgart

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel Robots, , and . ROMANSY 21 - Robot Design, Dynamics and Control, volume 569 of CISM International Centre for Mechanical Sciences, page 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)

Alexander Jaust

Alexander Jaust

Alexander Keller

 

Other publications of authors with the same name

Extensional Higher-Order Paramodulation in Leo-III., and . CoRR, (2019)Going Polymorphic - TH1 Reasoning for Leo-III., , and . IWIL@LPAR, volume 1 of Kalpa Publications in Computing, EasyChair, (2017)The Higher-Order Prover Leo-III., and . IJCAR, volume 10900 of Lecture Notes in Computer Science, page 108-116. Springer, (2018)TPTP and Beyond: Representation of Quantified Non-Classical Logics., , and . ARQNL@IJCAR, volume 1770 of CEUR Workshop Proceedings, page 51-65. CEUR-WS.org, (2016)Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers., and . PAAR@IJCAR, volume 1635 of CEUR Workshop Proceedings, page 82-94. CEUR-WS.org, (2016)Theorem Provers For Every Normal Modal Logic., , and . LPAR, volume 46 of EPiC Series in Computing, page 14-30. EasyChair, (2017)Agent-Based HOL Reasoning., , and . ICMS, volume 9725 of Lecture Notes in Computer Science, page 75-81. Springer, (2016)There Is No Best -Normalization Strategy for Higher-Order Reasoners., and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 329-339. Springer, (2015)The Higher-Order Prover Leo-III (Extended Abstract)., and . KI, volume 11793 of Lecture Notes in Computer Science, page 333-337. Springer, (2019)LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners., , and . CICM, volume 9150 of Lecture Notes in Computer Science, page 325-330. Springer, (2015)