M. J. Hidalgo

ALC (2008)

J. A. Alonso, M. J. Hidalgo, F. J. Martín–mateos

A formally verified prover for the

A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory. # (2007)

J. A. Alonso, M. J. Hidalgo

In some cases, when we develop a formal theory in ACL2, it would be desirable that the definitions and theorems of the theory be as independent of a concrete implementation as possible. This is...

Verification of the Formal Concept Analysis (2004)

Alonso, J.A., Borrego, J., Hidalgo, M.J.

Verification of the Formal Concept Analysis (2004)

Alonso, J.A., Borrego, J., Hidalgo, M.J.

A generic instantiation tool and a case study: A generic multiset theory (2002)

J. A. Alonso, M. J. Hidalgo

In some cases, when we develop a formal theory in ACL2, it would be desirable that the definitions and theorems of the theory be as independent of a concrete implementation as possible. This is...

Organización social y económica en la obra de Apuleyo (1977)

Hidalgo, M.J.

Phosphorylation of myosin light chain from adrenomedullary chromaffin cells in culture.

Gutierrez, L M, Hidalgo, M J, Palmero, M, Ballesta, J J, Reig, J A, Garcia, A G, ...

The myosin-light-chain (MLC) phosphorylation accompanying catecholamine release in chromaffin cells was investigated with the objective of assessing the possible role of this contractile protein in...

Secretory and radioligand binding studies on muscarinic receptors in bovine and feline chromaffin cells.

Ballesta, J J, Borges, R, García, A G, Hidalgo, M J

1. Muscarinic agonists enhanced catecholamine release from perfused cat adrenal glands with the following relative order of potencies: methacholine greater than oxotremorine greater than McN-A-343...

Phosphorylation of myosin light chain from adrenomedullary chromaffin cells in culture.

Gutierrez, L M, Hidalgo, M J, Palmero, M, Ballesta, J J, Reig, J A, Garcia, A G, ...

The myosin-light-chain (MLC) phosphorylation accompanying catecholamine release in chromaffin cells was investigated with the objective of assessing the possible role of this contractile protein in...

Secretory and radioligand binding studies on muscarinic receptors in bovine and feline chromaffin cells.

Ballesta, J J, Borges, R, García, A G, Hidalgo, M J

1. Muscarinic agonists enhanced catecholamine release from perfused cat adrenal glands with the following relative order of potencies: methacholine greater than oxotremorine greater than McN-A-343...

Separate [3H]-nitrendipine binding sites in mitochondria and plasma membranes of bovine adrenal medulla.

Ballesta, J. J., Garcia, A. G., Gutierrez, L. M., Hidalgo, M. J., Palmero, M., Reig, J. A., ...

1. Two binding sites for the 1,4-dihydropyridine (DHP) derivative [3H]-nitrendipine have been found in the bovine adrenal medulla. The high-affinity site (Kd = 0.48 nM and Bmax = 128 fmol mg-1...