Results 271 to 280 of about 1,309,863 (280)

Embodiment of parallelizable mechanical logic utilizing multimodal higher-order topological states

International Journal of Mechanical Sciences
Patrick Dorin, Kon-Well Wang
exaly  

HiLog: A foundation for higher-order logic programming

The Journal of Logic Programming, 1993
Michael Kifer
exaly  

SMOKERS AT HIGHER RISK OF COMPLICATIONS FROM BREAST RECONSTRUCTION SURGERY

Ca-A Cancer Journal for Clinicians, 2001
exaly  

On connections and higher-order logic

Journal of Automated Reasoning, 1989
exaly  

Higher-order Hoare logic

2014
openaire   +1 more source

CIGARETTE USE AMONG TEENS INCHES DOWNWARD: RATE IS HIGHER IN RURAL AREAS

Ca-A Cancer Journal for Clinicians, 2002
exaly  

Higher order separation logic

2014
openaire   +2 more sources

Epidemic spreading on higher-order networks

Physics Reports
Yanyi Nie
exaly  

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement

Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto   +2 more
exaly  

Research on the higher-order logic formalization of fractance element

IEEE/CAA Journal of Automatica Sinica
exaly