9 results
Titans of the early Universe: The Prato statement on the origin of the first supermassive black holes
-
- Journal:
- Publications of the Astronomical Society of Australia / Volume 36 / 2019
- Published online by Cambridge University Press:
- 06 August 2019, e027
-
- Article
-
- You have access
- HTML
- Export citation
On Termination, Confluence and Consistent CHR-based Type Inference
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 619-632
-
- Article
- Export citation
Evolution of the rotational properties and nitrogen surface abundances of B-Type stellar populations
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 9 / Issue S307 / June 2014
- Published online by Cambridge University Press:
- 23 January 2015, pp. 102-103
- Print publication:
- June 2014
-
- Article
-
- You have access
- Export citation
The past and future evolution of a star like Betelgeuse
-
- Journal:
- European Astronomical Society Publications Series / Volume 60 / 2013
- Published online by Cambridge University Press:
- 23 May 2013, pp. 17-28
- Print publication:
- 2013
-
- Article
- Export citation
Lightweight compilation of (C)LP to JavaScript*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 755-773
-
- Article
- Export citation
Diagrammatic confluence for Constraint Handling Rules*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 737-753
-
- Article
- Export citation
Observational equivalences for linear logic concurrent constraint languages*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 469-485
-
- Article
- Export citation
(Co-)Inductive semantics for Constraint Handling Rules
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 593-609
-
- Article
- Export citation
Do muscle relaxants influence vascular tone in isolated coronary artery segments?
-
- Journal:
- European Journal of Anaesthesiology / Volume 17 / Issue 8 / August 2000
- Published online by Cambridge University Press:
- 16 August 2006, pp. 481-484
- Print publication:
- August 2000
-
- Article
- Export citation