Found: 7
Select item for more details and to access through your institution.
Consistency of the theory of contexts.
- Published in:
- Journal of Functional Programming, 2006, v. 16, n. 3, p. 327, doi. 10.1017/s0956796806005892
- By:
- Publication type:
- Article
An open logical framework.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 293, doi. 10.1093/logcom/ext028
- By:
- Publication type:
- Article
Mobile Search Behaviors: An In‐Depth Analysis Based on Contexts, APPs, and Devices.
- Published in:
- 2019
- By:
- Publication type:
- Book Review
Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs).
- Published in:
- Remote Sensing, 2024, v. 16, n. 11, p. 1998, doi. 10.3390/rs16111998
- By:
- Publication type:
- Article
Plugging-in proof development environments using Locks in LF.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 9, p. 1578, doi. 10.1017/S0960129518000105
- By:
- Publication type:
- Article
Oceanus: a context-aware low-cost navigation aid for yacht racing.
- Published in:
- Journal of Navigation, 2021, v. 74, n. 4, p. 738, doi. 10.1017/S0373463321000205
- By:
- Publication type:
- Article
Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study.
- Published in:
- Sensors (14248220), 2024, v. 24, n. 8, p. 2582, doi. 10.3390/s24082582
- By:
- Publication type:
- Article