ON THE EXISTENCE OF INITIAL MODELS FOR PARTIAL (HIGHER-ORDER) CONDITIONAL SPECIFICATIONS

被引：0

|

作者：

ASTESIANO, E

CERIOLI, M

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 351卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：74 / 88

页数：15

相关论文

共 50 条

[1] PARTIAL HIGHER-ORDER SPECIFICATIONS
ASTESIANO, E
CERIOLI, M
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 74 - 83
[2] Initial-value problems for evolutionary partial differential equations and higher-order conditional symmetries
Basarab-Horwath, P
Zhdanov, RZ
JOURNAL OF MATHEMATICAL PHYSICS, 2001, 42 (01) : 376 - 389
[3] On the existence of higher-order moments of periodic GARCH models
Aknouche, Abdelhakim
Bentarzi, Mohamed
STATISTICS & PROBABILITY LETTERS, 2008, 78 (18) : 3262 - 3268
[4] EXECUTABLE HIGHER-ORDER ALGEBRAIC SPECIFICATIONS
JOUANNAUD, JP
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 16 - 25
[5] Algebraic specifications, higher-order types, and set-theoretic models
Kirchner, H
Mosses, PD
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 373 - 388
[6] Algebraic specifications, higher-order types and set-theoretic models
Kirchner, H
Mosses, PD
JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (03) : 453 - 481
[7] ON EXISTENCE OF HIGHER-ORDER IMMERSIONS
LI, GS
CHINESE SCIENCE BULLETIN, 1991, 36 (01): : 12 - 16
[8] ALGEBRAIC SPECIFICATIONS OF REACHABLE HIGHER-ORDER ALGEBRAS
MOLLER, B
TARLECKI, A
WIRSING, M
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 154 - 169
[9] Higher-order Rewriting for Executable Compiler Specifications
Rose, Kristoffer H.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (49): : 31 - 45
[10] HIGHER-ORDER PARTIAL VELOCITIES IN HIGHER-ORDER NONLINEAR NONHOLONOMIC SYSTEMS
HE, YQ
INTERNATIONAL JOURNAL OF NON-LINEAR MECHANICS, 1991, 26 (05) : 455 - 459

← 1 2 3 4 5 →