Old Web
English
Sign In
Acemap
>
Paper
>
Semantics of parallel logic languages
Semantics of parallel logic languages
1992
J de Bakker
Jan Rutten
Keywords:
Well-founded semantics
Operational semantics
Programming language
Action semantics
Abstract family of languages
Formal semantics (linguistics)
Dynamic logic (modal logic)
Ontology language
Computer science
Denotational semantics
Axiomatic semantics
Higher-order logic
Game semantics
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]