Old Web
English
Sign In
Acemap
>
authorDetail
>
M. H. Christensen
M. H. Christensen
Software
Algebraic specification
Command language
Automated theorem proving
Question answering
4
Papers
2
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Evidence for a pressure-induced antiferromagnetic quantum critical point in intermediate valence UTe2
2020
arXiv: Strongly Correlated Electrons
S. M. Thomas
F. B. Santos
M. H. Christensen
Tomoya Asaba
Filip Ronning
J. D. Thompson
E. D. Bauer
Rafael M. Fernandes
G. Fabbris
P. F. S. Rosa
Show All
Source
Cite
Save
Citations (1)
Plant production in different greenhouses
1987
M. G. Amsen
M. H. Christensen
Show All
Source
Cite
Save
Citations (0)
Explanation generation from algebraic specification through hyperresolution and demodulation: automated heuristic assistance; Vols. I and II
1987
M. H. Christensen
Show All
Source
Cite
Save
Citations (0)
CONDITIONS FOR WATER CONDENSATION ON LEAVES
1985
M. H. Christensen
O.F. Nielsen
M. G. Amsen
Show All
Source
Cite
Save
Citations (1)
1