Tracechecks: Defining Semantic Interfaces With Temporal Logic

Lecture Notes in Computer Science - Germany
doi 10.1007/11821946_10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Semantic Virtual Environments With Adaptive Multimodal Interfaces

English

Extending Logic Programs With Description Logic Expressions for the Semantic Web

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Assessing Web Services Interfaces With Lightweight Semantic Basis

Computing and Informatics
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsSoftware
2017English

Model Checking Cryptographic Protocols With Interval Temporal Logic

Journal of Convergence Information Technology
2010English

Alternating-Time Temporal Logic

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1999English

A Semantic Hierarchy for Intuitionistic Logic

Indagationes Mathematicae
Mathematics
2019English

Dyadic Deontic Logic and Semantic Tableaux

Logic and Logical Philosophy
Philosophy
2010English

Regular Linear-Time Temporal Logic

2010English

Formative Evaluation of Near-Semantic Search Interfaces

2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy