Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ángel Nepomuceno-Fernández

Abduction via C-Tableaux and Δ-Resolution

Journal of Applied Non-Classical Logics

English

Related publications

Synthesis of Circular Compositional Program Proofs via Abduction

International Journal on Software Tools for Technology Transfer

Information Systems

English

Asymptotics for Skew Standard Young Tableaux via Bounds for Characters

Proceedings of the American Mathematical Society

Applied Mathematics

English

Data Complexity of Query Answering in Expressive Description Logics via Tableaux

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Aplidin™ Induces the Mitochondrial Apoptotic Pathway via Oxidative Stress-Mediated JNK and P38 Activation and Protein Kinase C Δ

Cancer Research

Molecular Biology

English

Heat Kernel Estimates for Δ+Δ Α /2 in C 1, 1 Open Sets

Journal of the London Mathematical Society

English

Tableaux for Acceptance Logic

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Δ-Catenin Regulates Spine Architecture via Cadherin and PDZ-dependent Interactions

Journal of Biological Chemistry

Molecular Biology

English

Two-Dimensional Tableaux

The Australasian Journal of Logic

English

Shoulder Abduction Fatiguability.

Journal of Neurology, Neurosurgery and Psychiatry

English