Results 111 to 120 of about 479,950 (193)

A diagonalization technique for the area reduction of programmable logic arrays.

, 1983
Rajagopalan Harisha
openalex   +2 more sources

Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation [PDF]

, 1993
Dmitri Boulanger, Maurice Bruynooghe
openalex   +1 more source

Partial evaluation of pattern matching in constraint logic programming languages [PDF]

, 1991
Donald A. Smith
openalex   +1 more source

Stiffness reprogrammable magnetorheological metamaterials inspired by spine for multibit visual mechanical information processing. [PDF]

Sci Adv
Lou C, Lian X, Deng H, Liu B, Duan S, Zhao Y, Gong X.   +6 more
europepmc   +1 more source

The integration of functions into logic programming: From theory to practice

, 1994
Michael Hanus
openalex   +1 more source

Analyzing logic programs with dynamic scheduling [PDF]

, 1994
Kim Marriott, María García de la Banda, Manuel V. Hermenegildo   +2 more
openalex   +1 more source

Research on group type theory and its functorial semantic models in category logic. [PDF]

PLoS One
Tang JG, Aishan Y, Liu JY, Peng JY.
europepmc   +1 more source

Parallel Logic Programming [PDF]

, 1990
Keith Clark
openalex   +1 more source

Design and simulation of a PLC-controlled omni wheel conveyor sorting system for high-speed material handling. [PDF]

Sci Rep
Bhat R, Suresh S, Devakumar D, Subramanian KR, Dhanush D, Krishnan S.   +5 more
europepmc   +1 more source

Memoing for logic programs [PDF]

, 1992
David S. Warren
openalex   +1 more source