Amanote Research

Amanote Research

    RegisterSign In

Formal Equivalence Analysis

doi 10.2991/eusflat-19.2019.109
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2019

Authors
Francisco José Valverde AlbaceteCarmen Peláez-MorenoPablo CorderoManuel Ojeda-Aciego
Publisher

Atlantis Press


Related search

Computational Soundness of Formal Indistinguishability and Static Equivalence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Formal Equivalence of the Nonlinear String and One-Dimensional Fluid Flow

Quarterly of Applied Mathematics
Applied Mathematics
1965English

Text Adaptation Using Formal Concept Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Temporal Blockchain: A Formal Analysis

2016English

The Elementary Foundations of Formal Analysis

Studia Metrica et Poetica
LinguisticsLiteratureLiterary TheoryLanguage
2017English

Design Patterns Formal Composition and Analysis

International Journal of Information Technologies and Systems Approach
Computer Science
2019English

A Formal Semantic Analysis of Gesture

Journal of Semantics
LinguisticsArtsLanguageArtificial IntelligenceHumanities
2009English

The Statistical Analysis of Active Control Equivalence Studies

Conference on Applied Statistics in Agriculture
1997English

Query-Based Biclustering Using Formal Concept Analysis

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy