7 results
10 PW peak power femtosecond laser pulses at ELI-NP
- Part of
-
- Journal:
- High Power Laser Science and Engineering / Volume 10 / 2022
- Published online by Cambridge University Press:
- 24 May 2022, e21
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Encoding hybridized institutions into first-order logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 5 / June 2016
- Published online by Cambridge University Press:
- 12 November 2014, pp. 745-788
-
- Article
- Export citation
Interpolation for predefined types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 1 / February 2012
- Published online by Cambridge University Press:
- 31 August 2011, pp. 1-24
-
- Article
- Export citation
Completeness of category-based equational deduction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 5 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 04 March 2009, pp. 9-40
-
- Article
- Export citation
An Oxford survey of order sorted algebra†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 4 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 04 March 2009, pp. 363-392
-
- Article
- Export citation
Abstract Beth definability in institutions
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1002-1028
- Print publication:
- September 2006
-
- Article
- Export citation
Category-based constraint logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 10 / Issue 3 / June 2000
- Published online by Cambridge University Press:
- 01 June 2000, pp. 373-407
-
- Article
- Export citation