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

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

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

1995English

Dag-Calculus: A Calculus for Parallel Computation

2016Romanian

Using Λ-Calculus to Represent Meanings in Logic Grammars

1983Latin

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

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy