Theorem Proving in Higher Order Logics

DOI10.1007/11541868MaRDI QIDQ5477648zbMATH OpenOpenAlexFDO

Authors N. Cataño

Publication date 6 July 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11541868

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 2104628
• scientific article; zbMATH DE number 1670761
• A novel formal approach to program slicing
• Unified mathematical framework for slicing and symmetry reduction over event structures
• scientific article; zbMATH DE number 1949623

Cited in

(2)

• scientific article; zbMATH DE number 1949615 (Why is no real title available?)
• Unified mathematical framework for slicing and symmetry reduction over event structures

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Theorem Proving in Higher Order Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477648)