FOUNDATIONS OF COMPOSITIONAL PROGRAM REFINEMENT - SAFETY PROPERTIES .1.

被引：0

|

作者：

GERTH, R

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 430卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：777 / 807

页数：31

相关论文

共 50 条

[41] THE DOPPLER-EFFECT AND THE FOUNDATIONS OF PHYSICS .1.
DINGLE, H
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1960, 11 (41): : 11 - 31
[42] TRANSLINEAR CIRCUITS - 25 YEARS ON .1. THE FOUNDATIONS
GILBERT, B
ELECTRONIC ENGINEERING, 1993, 65 (800): : 21 - &
[43] WE THE PEOPLE .1. FOUNDATIONS - ACKERMAN,B
SCHAUER, F
MICHIGAN LAW REVIEW, 1992, 90 (06) : 1187 - 1202
[44] FOUNDATIONS FOR A MODEL OF KNOWING .1. CONSTRUCTING REALITY
AGNEW, NM
BROWN, JL
CANADIAN PSYCHOLOGY-PSYCHOLOGIE CANADIENNE, 1989, 30 (02): : 152 - 167
[45] THE LOGICAL FOUNDATIONS OF INVARIANCE PRINCIPLES IN PHYSICS .1.
FABRI, E
NUOVO CIMENTO, 1959, 14 (05): : 1130 - 1144
[46] Modeling belief in dynamic systems .1. Foundations
Friedman, N
Halpern, JY
ARTIFICIAL INTELLIGENCE, 1997, 95 (02) : 257 - 316
[47] ON THE MATHEMATICAL FOUNDATIONS OF ELASTIC STABILITY THEORY .1.
POTIERFERRY, M
ARCHIVE FOR RATIONAL MECHANICS AND ANALYSIS, 1982, 78 (01) : 55 - 72
[48] LAW OF PERCEPTUAL STABILITY - ABSTRACT FOUNDATIONS .1.
SHIMAN, LG
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1978, 75 (04) : 2049 - 2053
[49] ALGEBRAIC-THEORY OF SURGERY .1. FOUNDATIONS
RANICKI, A
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 1980, 40 (JAN) : 87 - 192
[50] THE COMPOSITIONAL CLASSIFICATION OF CHONDRITES .1. THE CARBONACEOUS CHONDRITE GROUPS
KALLEMEYN, GW
WASSON, JT
GEOCHIMICA ET COSMOCHIMICA ACTA, 1981, 45 (07) : 1217 - 1230

← 1 2 3 4 5 →