Results 231 to 240 of about 101,814 (276)

Female erectile tissues and sexual dysfunction after pelvic radiotherapy: A scoping review

Ca-A Cancer Journal for Clinicians, 2022
Deborah C Marshall, Julie R Bloom, Mylin A Torres   +2 more
exaly  

High-resolution X-ray luminescence extension imaging

Nature, 2021
Xiangyu Ou, Bolong Huang, Hongyu Bian
exaly  

Predication, Truth, and Extensionality in Free Logic

, 2005

openalex   +1 more source

Dynamic Covalent Polymer Networks: A Molecular Platform for Designing Functions beyond Chemical Recycling and Self-Healing

Chemical Reviews, 2021
Ning Zheng, Yang Xu, Qian Zhao
exaly  

An improved refutation system for intuitionistic predicate logic

Journal of automated reasoning, 1994
P. Miglioli, U. Moscato, Mario Ornaghi
semanticscholar   +1 more source

Predicate Logic with Sequence Variables and Sequence Function Symbols

Mathematical Knowledge Management, 2004
Temur Kutsia, B. Buchberger
semanticscholar   +1 more source

Predicate logic with anaphora

, 1994
P. Dekker
semanticscholar   +1 more source

Decidable Classes of the Verification Problem in a Timed Predicate Logic

International Symposium on Fundamentals of Computation Theory, 1999
D. Beauquier, A. Slissenko
semanticscholar   +1 more source

Verification in Predicate Logic with Time: Algorithmic Questions

Annual Conference for Computer Science Logic, 2005
A. Slissenko
semanticscholar   +1 more source

Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property

zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Isoda, Eiko, Shimura, Tatsuya
openaire   +1 more source