Temperature-frequency boundary of cryogenic dynamic logic.

Nurzhan Zhuldassov Eby G. Friedman

Published in: Microelectron. J. (2023)

Keyphrases

dynamic logic
modal logic
reasoning about actions
propositional dynamic logic
imperative programs
phase difference
multiple input
classical first order logic
agent programming
expert systems
object boundaries
electric field