Typed Logics With States

Logic Journal of the IGPL - United Kingdom
doi 10.1093/jigpal/5.5.623
Full Text
Abstract

Available in full text

Categories
Philosophy
Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Graph Logics With Rational Relations

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Logical Framework With Dependently Typed Records

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Typed Regions

2005English

United States Navy Galapagos Expedition, 1941, Diary, April 2-28, 1941, Typed Copy

1941English

Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages

2020English

Architecture Conformance Checking With Description Logics

2017English

The TPTP Typed First-Order Form With Arithmetic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Learning Typed Entailment Graphs With Global Soft Constraints

Transactions of the Association for Computational Linguistics
2018English

Dependently Typed Programming

Progress in Informatics
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy