Fakultät
Informática
Artikel (8) Publikationen, an denen Forscher/innen teilgenommen haben
1990
-
A first order logic for partial functions
Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69
-
An approach to minimal-time scheduling of micro-operations
Microprocessing and Microprogramming, Vol. 28, Núm. 1-5, pp. 301-304
-
Analysis of Four Numerical Schemes for a Nonlinear Klein-Gordon Equation
Applied Mathematics and Computation, Vol. 35, Núm. 1, pp. 61-94
-
Existence of standing waves for dirac fields with singular nonlinearities
Communications in Mathematical Physics, Vol. 133, Núm. 1, pp. 53-74
-
GRF-induced GH response in attention-deficit hyperactivity disorder
Methods and Findings in Experimental and Clinical Pharmacology, Vol. 12, Núm. 1, pp. 79-85
-
Laser-induced thermomagnetic detection of a metastable band in bismuth
Physical Review B, Vol. 41, Núm. 15, pp. 10372-10376
-
Realización española de un sistema de enseñanza automática.
Informática y automática: revista de la Asociación Española de Informática y Automática, Vol. 23, Núm. 2, pp. 53-60
-
Relation between two variational methods to calculate the energy levels
Physics Letters A, Vol. 144, Núm. 1, pp. 15-16