A VIEW OF FORMAL SEMANTICS

被引：1

作者：

BOOM, HJ

NIELSEN, CB

MCGETTRICK, AD

MOSSES, PD

RATTRAY, C

TENNENT, RD

WATT, DA

机构：

[1] CONCORDIA UNIV,DEPT COMP SCI,MONTREAL H3G 1M8,QUEBEC,CANADA

[2] DANSK DATAMATIK CTR,DK-2800 LYNGBY,DENMARK

[3] UNIV STRATHCLYDE,DEPT COMP SCI,GLASGOW G1 1XQ,SCOTLAND

[4] AARHUS UNIV,DEPT COMP SCI,DK-8000 AARHUS C,DENMARK

[5] UNIV STIRLING,DEPT COMP SCI,STIRLING FK9 4LA,SCOTLAND

[6] QUEENS UNIV,DEPT COMP & INFORMAT SCI,KINGSTON K7L 3N6,ONTARIO,CANADA

[7] UNIV GLASGOW,DEPT COMP SCI,GLASGOW G12 8QQ,SCOTLAND

来源：

关键词：

D O I：

10.1016/0920-5489(89)90039-1

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：3 / 9

页数：7

共 50 条

[1] What is formal in formal semantics?
Wolenski, J
[J]. DIALECTICA, 2004, 58 (03) : 427 - 436
[2] Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics
Loebe, Frank
Herre, Heinrich
[J]. FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2008, 183 : 49 - +
[3] A formal semantics for SPKI
Howell, J
Kotz, D
[J]. COMPUTER SECURITY - ESORICS 2000, PROCEEDINGS, 2000, 1895 : 140 - 158
[4] ON SEMANTICS OF FORMAL REPRESENTATION
DREHER, JH
[J]. PHILOSOPHIA, 1978, 8 (01) : 71 - 78
[5] FORMAL SEMANTICS AND LEXICON
SANDRI, G
[J]. LINGUA E STILE, 1984, 19 (01) : 73 - 100
[6] Distributional formal semantics
Venhuizen, Noortje J.
Hendriks, Petra
Crocker, Matthew W.
Brouwer, Harm
[J]. INFORMATION AND COMPUTATION, 2022, 287
[7] A FORMAL SEMANTICS FOR SQL
MEIRA, S
MOTZ, R
TEPEDINO, F
[J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1990, 34 (1-2) : 43 - 63
[8] REALISM AND FORMAL SEMANTICS
PEARCE, D
RANTALA, V
[J]. SYNTHESE, 1982, 52 (01) : 39 - 53
[9] Formal semantics and ontology
Kusliy, P. S.
[J]. EPISTEMOLOGY & PHILOSOPHY OF SCIENCE-EPISTEMOLOGIYA I FILOSOFIYA NAUKI, 2012, 33 (03): : 62 - 67
[10] Elements of Formal Semantics
Keenan, Edward L.
[J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2018, 27 (02) : 175 - 192