Author of the publication

Sequent Schema for Derived Rules.

, and . TPHOLs, volume 2410 of Lecture Notes in Computer Science, page 281-297. Springer, (2002)

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.

 

Other publications of authors with the same name

Specifications and Proofs for Ensemble Layers., , and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 119-133. Springer, (1999)A Machine Learning Outlook: Post-processing of Global Medium-range Forecasts., , , , , , , , , and . CoRR, (2023)MojaveFS: Providing Sequential Consistency in a Distributed Objects System., , , and . ISPDC, page 66-73. IEEE Computer Society, (2006)Machine Learning for Precipitation Nowcasting from Radar Images, , , , , and . (December 2019)arXiv:1912.12132 cs, stat.Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection., , , and . ICFP, page 172-183. ACM, (2006)Phobos: A Front-End Approach to Extensible Compilers., and . HICSS, page 324. IEEE Computer Society, (2003)Data-driven metasurface discovery., , , , , and . CoRR, (2018)Distributed speculative execution for reliability and fault tolerance: an operational semantics., and . Distributed Comput., 21 (6): 433-455 (2009)A Proof Environment for the Development of Group Communication Systems., , and . CADE, volume 1421 of Lecture Notes in Computer Science, page 317-332. Springer, (1998)A Mechanism for Sequential Consistency in a Distributed Objects System., , , and . PDCS, page 284-289. ISCA, (2004)