diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-25 10:08:18 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-25 10:08:18 +0000 |
commit | 3bc6d07b913b06d971374a2b67c652c98efd7dba (patch) | |
tree | 9cc7f6dda005e05254211000dd57a8082009d6e9 /content.org | |
parent | 6e8b6a400c51907e68bd93ab0d32893547e369a6 (diff) | |
download | yannherklotz.com-3bc6d07b913b06d971374a2b67c652c98efd7dba.tar.gz yannherklotz.com-3bc6d07b913b06d971374a2b67c652c98efd7dba.zip |
Add new publication in FCCM'22
Diffstat (limited to 'content.org')
-rw-r--r-- | content.org | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/content.org b/content.org index 7371d91..bbc3d27 100644 --- a/content.org +++ b/content.org @@ -35,7 +35,7 @@ is located. Here you can find all my previous posts: -** TODO Why Even Bother with Three-Valued Logic? :logic: +** TODO Reasoning about :logic: :PROPERTIES: :EXPORT_DATE: 2022-02-22 :EXPORT_FILE_NAME: why-even-bother-with-three-valued-logic @@ -48,6 +48,9 @@ Here you can find all my previous posts: - Has subtle differences in terms of Axioms. - This can lead to various different logics, especially implication. +Binary logic is pervasive in computing, as it is used to model low-level hardware primitives as well +as reason about complex code using modern SMT solvers. + *** Example reasoning about results of computations - Computations can sometimes not be evaluatable. |