Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Maribel Fernández

Preface to the Special Issue on Linearity

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2019English

Preface: Theory and Applications of Abstraction, Substitution and Naming

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2011English

A Formalisation of Nominal Α-Equivalence With A, C, and AC Function Symbols

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2019English

Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems With Porgy

Methods in Molecular Biology
GeneticsMolecular Biology
2019English

On Solving Nominal Fixpoint Equations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Normalization Results for Typeable Rewrite Systems

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy