A Temporal Module for Logical Frameworks

Electronic Proceedings in Theoretical Computer Science, EPTCS - United States
doi 10.4204/eptcs.306.40
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Open Publishing Association

Related search

Module Interconnection Frameworks for a Real-Time Spreadsheet

1993English

Temporal Connectives and Logical Form

Annual Meeting of the Berkeley Linguistics Society
1979English

Temporal Relations in Texts and Time Logical Inferences

1986English

Unifying the Mechanism of Mitotic Exit Control in a Spatio-Temporal Logical Model

2020English

Attention Module-Based Spatial–temporal Graph Convolutional Networks for Skeleton-Based Action Recognition

Journal of Electronic Imaging
Electronic EngineeringMolecular Physics,Computer Science ApplicationsElectricalAtomicOptics
2019English

Logical Information Theory: New Logical Foundations for Information Theory

Logic Journal of the IGPL
Philosophy
2017English

A Logical Semantics for Feature Structures

1986English

A Logical Framework for Evolution of Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Towards a Logical Framework for Reasoning About Risk

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy