Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ana Cristina Rocha-Oliveira

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

Theoretical Computer Science

Computer Science

Theoretical Computer Science

English

Related publications

A Classic Morita Equivalence Result for Fell Bundle $C^*$-Algebras

Mathematica Scandinavica

English

Equivalence Outcome in Single Subjects as a Function of Training Structure

Psychological Record

English

Photochromism of a BaMgSiO4 Phase Prepared With a Nonstoichiometric Nominal Composition

Transactions of the Materials Research Society of Japan

English

Structure-Function Relationships in Α-Galactosidase A

Acta Paediatrica, International Journal of Paediatrics

English

Topological Orbit Equivalence and C*-Crossed Products.

Journal für die Reine und Angewandte Mathematik

Applied Mathematics

English

The $C^m$ Norm of a Function With Prescribed Jets I

Revista Matematica Iberoamericana

English

A Model of Rule-Of-Thumb Consumers With Nominal Price and Wage Rigidities

English

The $C^m$ Norm of a Function With Prescribed Jets II

Revista Matematica Iberoamericana

English

James Is Polite and Punctual (And Useless): A Bayesian Formalisation of Faint Praise

Thinking and Reasoning

Cognitive Psychology

English