Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Francisco José Valverde Albacete
Formal Equivalence Analysis
Related publications
Computational Soundness of Formal Indistinguishability and Static Equivalence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Equivalence of the Nonlinear String and One-Dimensional Fluid Flow
Quarterly of Applied Mathematics
Applied Mathematics
Text Adaptation Using Formal Concept Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Temporal Blockchain: A Formal Analysis
The Elementary Foundations of Formal Analysis
Studia Metrica et Poetica
Linguistics
Literature
Literary Theory
Language
Design Patterns Formal Composition and Analysis
International Journal of Information Technologies and Systems Approach
Computer Science
A Formal Semantic Analysis of Gesture
Journal of Semantics
Linguistics
Arts
Language
Artificial Intelligence
Humanities
The Statistical Analysis of Active Control Equivalence Studies
Conference on Applied Statistics in Agriculture
Query-Based Biclustering Using Formal Concept Analysis
