{"@context": "https://schema.org", "@type": "BreadcrumbList", "itemListElement": [{"@type": "ListItem", "position": 1, "name": "Home", "item": "https://www.patentleaderboard.com/"}, {"@type": "ListItem", "position": 2, "name": "Ambient calculus-based modal logics for mobile ambients", "item": "https://www.patentleaderboard.com/patent/6826751"}]}
Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Ambient calculus-based modal logics for mobile ambients

Ambient calculus-based modal logics for mobile ambients

US Patent 6826751 · Granted Nov 30, 2004

Estimated economic value: $50,767,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Responding to task prompt on declarative code using language model2025
Provenance aware editing for spreadsheets2023
Spreadsheet with reuse functionality2022
Checking and/or completion for data grids2021
Inferring cues for use with digital assistant2021
Spreadsheet cell calculation view providing multiple-representation editing2021
Natively handling approximate values in spreadsheet applications2021
System and method for generation and execution of elastic sheet-defined function2021
Creating and handling lambda functions in spreadsheet applications2020
Relational database management2020
Database access2016
Security language translations with logic resolution2016