Keywords: embalaža, elektronska kontrola, farmacija, napake, Pixel ProofFull text (file, 2,88 MB)
Keywords: under-frequency load shedding, intelligent electronic device, proof of concept, hardware-in-the-loop testing, real-time digital simulator, frequency stability margin, rate-of-change-of-frequencyFull text (file, 4,51 MB) This document has more files! More...
Keywords: dependent type theory, algebraic theory, proof assistant, type-theoretic elaboration equality checkingFull text (file, 2,41 MB)
Keywords: dependent type theory, algebraic theory, proof assistant, metalanguage, computational effectsFull text (file, 2,22 MB)
Keywords: dependent type theory, context-free type theory, formal meta-theory, proof assistantsFull text (file, 2,36 MB) This document has more files! More...