Theorem Proving in Higher Order Logics
From MaRDI portal
Publication:5477664
DOI10.1007/11541868zbMath1152.68533MaRDI QIDQ5477664
Julien Schmaltz, Dominique Borrione
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
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
Related Items