On formal and cognitive semantics for semantic computing
From MaRDI portal
Recommendations
Cites work
- An axiomatic basis for computer programming
- Communicating sequential processes
- Guarded commands, nondeterminacy and formal derivation of programs
- scientific article; zbMATH DE number 3833274 (Why is no real title available?)
- scientific article; zbMATH DE number 4033143 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 4083026 (Why is no real title available?)
- scientific article; zbMATH DE number 3660783 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 709368 (Why is no real title available?)
- scientific article; zbMATH DE number 1042220 (Why is no real title available?)
- scientific article; zbMATH DE number 1070884 (Why is no real title available?)
- scientific article; zbMATH DE number 756366 (Why is no real title available?)
- scientific article; zbMATH DE number 824902 (Why is no real title available?)
- scientific article; zbMATH DE number 5254145 (Why is no real title available?)
- On certain formal properties of grammars
- Pinnacles of software engineering: 25 years of formal methods
- The real-time process algebra (RTPA)
- Three models for the description of language
Cited in
(3)
This page was built for publication: On formal and cognitive semantics for semantic computing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3062792)