Concept

Intensional logic

Related publications (5)

About
Privacy
Disclaimer

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Intensional logic

Graph Chatbot

Chat with Graph Search

A New Basic Logic Structure for Data-Path Computation

Automatic Verification of Temporal Epistemic Logic under Convergent Equational Theories

A Note on an Authentication Technique Based on Distributed Security Management for the Global Mobility Network

A Simple Logic for Authentication Protocol Design

Formal testing of object-oriented software

Automatic Verification of Temporal Epistemic Logic under Convergent Equational Theories

A Simple Logic for Authentication Protocol Design

A Note on an Authentication Technique Based on Distributed Security Management for the Global Mobility Network

A New Basic Logic Structure for Data-Path Computation

Formal testing of object-oriented software