Two-dimensional evolution of packets of short water waves in systems of finite depth
- 期刊名称Physics of Fluids
- 作者Laedke, E. W.
- 卷第24卷
- 期第9期
- 印刷ISSN0031-9171
- 文件大小586.08KB
- 发表时间1981
- DOI10.1063/1.863584
Classical linear logics with mix separation principleNorihiro Kamide · 2003
A note on dual-intuitionistic logicNorihiro Kamide · 2003
On a logic of involutive quantalesNorihiro Kamide · 2005
Synthesized substructural logicsNorihiro Kamide · 2007
Paraconsistent Computation Tree LogicKen Kaneiwa; Norihiro Kamide · 2011
Dynamic Non-Commutative LogicNorihiro Kamide · 2010
Synchronized Linear-Time Temporal LogicHeinrich Wansing; Norihiro Kamide · 2011
StrongMotohiko Mouri; Norihiro Kamide · 2008
Craig interpolation for semilinear substructural logicsMarchioni, Enrico; Metcalfe, George · Mathematical Logic Quarterly · 2012
Contents: (Math. Log. Quart. 6/2012)Mathematical Logic Quarterly · 2012
Cover PictureMathematical Logic Quarterly · 2012
Issue InformationMathematical Logic Quarterly · 2012
SEMANTISCHE UNTERSUCHUNGEN ÜBER QUANTOREN IIssel, Walter · Mathematical Logic Quarterly · 1969
A note on definition by casesBird, Richard · Mathematical Logic Quarterly · 1973
Untersuchungen über Mengentheoretische GleichungenMüller, Horst · Mathematical Logic Quarterly · 1973
Zur Vergrösserung von StrukturenPodewski, Klaus-Peter · Mathematical Logic Quarterly · 1973