Theorem Proving in Higher Order Logics

DOI10.1007/11541868zbMath1152.68533OpenAlexW2484880499MaRDI QIDQ5477664

Dominique Borrione, Julien Schmaltz

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

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (1)

A functional formalization of on chip communications

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