Theorem Proving in Higher Order Logics

DOI10.1007/11541868zbMATH Open1152.68518OpenAlexW2484880499MaRDI QIDQ5477648FDOQ5477648

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

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

Mathematics Subject Classification ID

Cited In (1)

• Title not available (Why is that?)

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)