Basket

    1.
    0510497 - FLÚ 2020 RIV US eng J - Journal Article
    Klev, Ansten
    Eta-rules in Martin-Löf type theory.
    Bulletin of Symbolic Logic. Roč. 25, č. 3 (2019), s. 333-359. ISSN 1079-8986. E-ISSN 1943-5894
    R&D Projects: GA ČR(CZ) GJ17-18344Y
    Institutional support: RVO:67985955
    Keywords : type theory * definitional identity
    OECD category: Philosophy, History and Philosophy of science and technology
    Impact factor: 0.406, year: 2019
    Method of publishing: Limited access
    https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/etarules-in-martinlof-type-theory/CA10751125AABA4B36BEDC30EC729B74
    Permanent Link: http://hdl.handle.net/11104/0300973
     
     
    2.
    0431981 - ÚFM 2015 RIV GB eng J - Journal Article
    Ostapovets, Andriy - Serra, A.
    Characterization of the matrix-twin interface of a (1 0 -1 2) twin during growth.
    Philosophical Magazine. Roč. 94, č. 25 (2014), s. 2827-2839. ISSN 1478-6435. E-ISSN 1478-6443
    R&D Projects: GA MŠMT(CZ) EE2.3.30.0063
    Grant - others:Catalan Government(ES) AGAUR2014SGR 1644; Spanish Secretariat of Research, Development and Innovation(ES) FIS2012-39433-C02-02
    Institutional support: RVO:68081723
    Keywords : twinning * twin boundaries * disconnections
    Subject RIV: BM - Solid Matter Physics ; Magnetism; BM - Solid Matter Physics ; Magnetism (FZU-D)
    Impact factor: 1.825, year: 2014
    Permanent Link: http://hdl.handle.net/11104/0236497
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all