A Refinement Logic for the Fork Calculus

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-34867-4_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

A Resolution Calculus for the Branching-Time Temporal Logic CTL

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2014English

A Probabilistic Logic Programming Event Calculus

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2014English

Behavioral and Spatial Observations in a Logic for the Π-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Formalising the Π-Calculus Using Nominal Logic

English

Cut-Eliminability in Second Order Logic Calculus

Annals of the Japan Association for Philosophy of Science
2018English

Dag-Calculus: A Calculus for Parallel Computation

2016English

A Modal Calculus of Partially Ordered Events in a Logic Programming Framework

1995English

Using Λ-Calculus to Represent Meanings in Logic Grammars

1983English

Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy