Results 71 to 80 of about 86,056 (174)

Predicate Transformers for Recursive Procedures with Local Variables [PDF]

, 1999
Wim H. Hesselink
openalex   +1 more source

Two-variable Logic with a Between Predicate

, 2016
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing   +3 more
openalex   +2 more sources

Finding the subsets of variables of a partial Boolean function which are sufficient for its implementation in the classes defined by predicates

, 2020
N. G. Parvatov
openalex   +2 more sources

A Connectionist System for Rule Based Reasoning with Multi-Place Predicates and Variables

, 1989
Lokendra Shastri, Venkat Ajjanagadde
openalex   +2 more sources

Identification of the Predicator Variables of Candidate Teacher Teaching Motivations

, 2016
Ebru Bozpolat
openalex   +2 more sources

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs

, 2011
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl   +3 more
openalex   +1 more source

Predicate abstraction for hyperliveness verification. [PDF]

Form Methods Syst Des
Beutner R, Finkbeiner B.
europepmc   +1 more source

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)

, 2011
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl   +3 more
openalex   +2 more sources

Left Atrial Appendage Occlusion: Persistent Gaps. [PDF]

J Soc Cardiovasc Angiogr Interv
Gray WA.
europepmc   +1 more source

A D-vine copula-based coupling uncertainty analysis for stiffness predication of variable-stiffness composite

, 2018
Qidi Li, Hu Wang, Yang Zeng, Zhiwei Lv
openalex   +2 more sources