Discover open access scientific publications

Search, annotate, share and cite publications

A Complete Type Inference System for Subtyped Recursive Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Solvent Extraction of Lanthanoids(III) With Dinitrobenzoyl-N-Phenylhydroxylamine.

Analytical Sciences
Analytical Chemistry
1994English

Evaluation of Zr and Hf Data for Some Geological Standard Rock Samples.

Analytical Sciences
Analytical Chemistry
1994English

Motility of Pejerrey Odontesthes Bonariensis Spermatozoa

Fisheries Science
Aquatic Science
1994English

Stability of the Trivial Solution of the One-Dimensional Mathematical Model of Thermoelasticity

Ukrainian Mathematical Journal
Mathematics
1994English

New Trends in Kinetic Fragmentation Theory

International Journal of Modern Physics E
High Energy PhysicsNuclearAstronomyPhysics
1994English

La CSCE Au Lendemain Du Conseil De Rome: Un Bilan De La Transition Institutionnelle

European Journal of International Law
LawInternational RelationsPolitical Science
1994English

A Comparison of Languages Which Operationalize and Formalize KADS Models of Expertise

Knowledge Engineering Review
Artificial IntelligenceSoftware
1994English

Utilization of Feather Meal as a Protein Source in the Diet of Juvenile Japanese Flounder

Fisheries Science
Aquatic Science
1994English

About Certain Singular Kernels $K(x,y) = K_1(x-Y)K_2(x+y)$.

Mathematica Scandinavica
Mathematics
1994English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy