Publication | Closed Access
On the expressiveness of MTL in the pointwise and continuous semantics
58
Citations
6
References
2006
Year
Formal SemanticsEngineeringOperational SemanticsAutomated ReasoningComputational LinguisticsAlgebraic SemanticsFormal MethodsComputer ScienceLanguage StudiesSemanticsSemantic WebContinuous SemanticsHigher-order LogicLinguisticsComputational Semantics
| Year | Citations | |
|---|---|---|
Page 1
Page 1