An Open Logical Framework

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/ext028
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Becoming an Open Educator: Towards an Open Threshold Framework

Research in Learning Technology
Computer Science ApplicationsEducation
2020English

An Open Framework for Dynamic Reconfiguration

English

A Logical Framework With Dependently Typed Records

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

A Logical Framework for Evolution of Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Product Lifecycle Management in an Open Industry Framework

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2013English

An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Towards a Logical Framework for Reasoning About Risk

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Martin-Löf's Type Theory as an Open-Ended Framework

International Journal of Foundations of Computer Science
Computer Science
2001English

China’s Manufacturing Strategy Choice: An Integrated Strategic Analysis Framework Combining SWOT and Logical Growth Models

Asian Economic and Financial Review
DevelopmentManagementFinanceBusinessEconomicsAccountingEconometrics
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy