Results 221 to 230 of about 5,812 (235)

Two-level grammar as an implementable metalanguage for axiomatic semantics

Computer Languages, Systems and Structures, 1986
Barrett R Bryant
exaly  

The Semantic Function of the Axiomatic Method

2022
openaire   +1 more source

Trust Description and Propagation System: Semantics and axiomatization

Knowledge-Based Systems, 2015
Xiaofeng Wang 0002, Jinshu Su, Baosheng Wang, Guojun Wang, Ho-fung Leung   +4 more
openaire   +1 more source

Axiomatic Semantics of UML Class Diagrams

2009
Kevin Lano
exaly  

Axiomatic Semantics of State Machines

2009
David Clark
exaly  

A spinozistic axiomatics in story semantics

Philosophia, 1988
openaire   +1 more source

The axiomatic semantics of IMP

1993
openaire   +1 more source

Measuring Additive Consistency of Linguistic Preference Relations in a Personalized-Individual-Semantics Context: A Systematic Investigation With Axiomatic Design

IEEE Transactions on Systems, Man, and Cybernetics: Systems
Yao Li, Meiqian Chen, Cong-Cong Li
exaly  

AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗

International Journal of Parallel, Emergent and Distributed Systems, 2000
M Clint
exaly  

An Axiomatic Semantics of Concurrent Programming Languages

1985
openaire   +1 more source