On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$ [PDF]
, 1960 Tosiyuki Tugué
openalex +1 more source
Control predicates are better than dummy variables for reasoning about program control [PDF]
, 1988 Leslie Lamport
openalex +1 more source
Towards rule-based visual programming of generic visual systems
, 2000 This paper illustrates how the diagram programming language DiaPlan can be used to program visual systems. DiaPlan is a visual rule-based language that is founded on the computational model of graph transformation.
Hoffmann, Berthold, Minas, Mark
core +3 more sources
Substitutions for predicate variables and functional variables. [PDF]
, 1980 Hubert H. Schneider
openalex +1 more source
Generating rules with predicates, terms and variables from the pruned neural networks [PDF]
, 2009 Richi Nayak
openalex +1 more source
Probabilistic Program Abstractions
, 2017 ion is a fundamental tool for reasoning about complex systems. Program abstraction has been utilized to great effect for analyzing deterministic programs.
Broeck, Guy Van den +2 more
core
The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$ [PDF]
Diego Castaño +3 more
openalex +2 more sources
UNIVERSAL RADIATION MODEL OF MICROWAVE ANTENNA
Надежность и качество сложных системBackground. The directional characteristics of microwave antennas are determined by the functional purpose of the radio engineering systems in which they are used.
Alexander N. Yakimov
doaj +1 more source
Explicit variable relations of the members of predicate groups (as exemplified by the either…or, neither…nor constructions in the modern English language) [PDF]
, 2018 Irina Nikolaevna Morozova +4 more
openalex +1 more source