PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Autexier, Serge"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Software Development in MAYA.

, and . Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 407-432. Springer, (2005)

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.

No persons found for author name Autexier, Serge
add a person with the name Autexier, Serge
 

Other publications of authors with the same name

ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System., , , and . Resource-Adaptive Cognitive Processes, Springer, (2011)Development graphs - Proof management for structured specifications., , and . J. Log. Algebr. Program., 67 (1-2): 114-145 (2006)Simultaneous Quantifier Elimination., , and . KI, volume 1504 of Lecture Notes in Computer Science, page 141-152. Springer, (1998)Deep Inference for Automated Proof Tutoring?, , , and . KI, volume 4667 of Lecture Notes in Computer Science, page 435-439. Springer, (2007)Model-Based Specification and Refinement for Cyber-Physical Systems., , and . LDIC, page 3-17. Springer, (2016)On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic.. TABLEAUX, volume 3702 of Lecture Notes in Computer Science, page 48-62. Springer, (2005)Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics., , , , and . Calculemus/MKM, volume 6824 of Lecture Notes in Computer Science, page 164-179. Springer, (2011)SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo)., , , and . AmI, volume 8309 of Lecture Notes in Computer Science, page 269-274. Springer, (2013)Preface., and . Electron. Notes Theor. Comput. Sci., 174 (2): 1-2 (2007)Preface to the special issue of selected papers from FCS/VERIFY 2002., , and . Int. J. Inf. Sec., 4 (1-2): 1 (2005)