Fault rocks and fault mechanisms
- 期刊名称Journal of the Geological Society
- 作者SIBSON, R. H.
- 卷第133卷
- 期第3期
- 印刷ISSN0016-7649
- 电子ISSN2041-479X
- 文件大小3298.51KB
- 发表时间1977-03-01
- DOI10.1144/gsjgs.133.3.0191
- 页码191-213
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 ||Kahl, Wolfram; Griffin, Timothy G. · 2012
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7Springer-Verlag · 2004
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 10226 ||Höfner, Peter; Pous, Damien; Struth, Georg · 2017
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 953 || Relational set theoryPitt, David; Rydeheard, David E.; Johnstone, Peter · 1995
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Relations on HypergraphsKahl, Wolfram; Griffin, Timothy G. · 2012
[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Rasiowa-Sikorski Style Relational Elementary Set TheoryBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 9348 || Towards Antichain AlgebraKahl, Wolfram; Winter, Michael; Oliveira, José N. · 2015
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Relational specifications and observational semanticsGruska, Jozef; Rovan, Branislav; Wiedermann, Juraj · 1986
Relations and Kleene algebras in computer scienceRudolf Berghammer; Bernhard Möller; Georg Struth · 2010
[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Pointer Kleene AlgebraBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004
[Lecture Notes in Computer Science] Relations and Kleene Algebra in Computer Science Volume 4988 || The Algebraic Approach II: Dioids, Quantales and MonadsBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2008
[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Rasiowa-Sikorski Style Relational Elementary Set TheoryBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004
[Lecture Notes in Computer Science] Relations and Kleene Algebra in Computer Science Volume 4988 || The Algebraic Approach I: The Algebraization of the Chomsky HierarchyBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2008
[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Towards a Formalisation of Relational Database Theory in Constructive Type TheoryBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004