Amanote Research
Register
Sign In
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 Theory
Software
Artificial Intelligence
Mathematics
Preface: Theory and Applications of Abstraction, Substitution and Naming
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
A Formalisation of Nominal Α-Equivalence With A, C, and AC Function Symbols
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems With Porgy
Methods in Molecular Biology
Genetics
Molecular Biology
On Solving Nominal Fixpoint Equations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Normalization Results for Typeable Rewrite Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics