Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Published in: Protocols, Strands, and Logic (2021)

Keyphrases

logic programming
modal logic
multi valued
neural network
automated reasoning
computational properties
asynchronous circuits
security protocols
predicate logic
database
case study
classical logic
nonmonotonic logics
sound and complete axiomatization