Search Results - "Theory of computation Logic Automated reasoning"

Strong-separation Logic.

Authors: PAGEL, JENS ZULEGER, FLORIAN

Source: ACM Transactions on Programming Languages & Systems; Jul2022, Vol. 44 Issue 3, p1-40, 40p

Subject Terms: LOGIC, INDUCTION (Logic), FIRST-order logic, DATA structures

FIXED-POINT THEOREMS FOR NON-TRANSITIVE RELATIONS.

Authors: DUBUT, JÉRÉMY AKIHISA YAMADA

Source: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 1, p1-24, 24p

Subject Terms: EXISTENCE theorems, LATTICE theory

TRANSLATION OF ALGORITHMIC DESCRIPTIONS OF DISCRETE FUNCTIONS TO SAT WITH APPLICATIONS TO CRYPTANALYSIS PROBLEMS.

Authors: SEMENOV, ALEXANDER OTPUSCHENNIKOV, ILYA GRIBANOVA, IRINA et al.

Source: Logical Methods in Computer Science (LMCS); 2020, Vol. 16 Issue 1, p1-42, 42p, 1 Diagram, 8 Charts, 6 Graphs

Automated Generation of Erotetic Search Scenarios: Classification, Optimization, and Knowledge Extraction.

Authors: CHLEBOWSKI, SZYMON KOMOSINSKI, MACIEJ KUPS, ADAM

Source: ACM Transactions on Computational Logic; May2017, Vol. 18 Issue 2, p1-27, 27p

Subject Terms: EVALUATION utilization, HUMAN behavior, MATHEMATICS, INTELLECT, CRITICAL thinking