Learn More
  • M. Claus
  • 2005
This paper presents a new geometrical motivated approach to analyse resistive networks decomposable into two 3-pole subnetworks. Especially, networks composed of two MOSTs or BJTs that can have more than three operating points are analysed with this method. All results are verified additionally with a homotopy method realisable with standard circuit(More)
We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the modal logic cube, and using encodings in first-order logic in combination with first-order automated(More)
We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the modal logic cube, and using encodings in first-order logic in combination with first-order automated(More)
  • 1