Rule Calculus: Semantics, Axioms and Applications

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-87803-2_34
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

The Enriched Effect Calculus: Syntax and Semantics

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2012English

Stochastic Calculus and Applications.

The Statistician
1986English

A Denotational Semantics for the Π-Calculus

2001English

Categorical Semantics for Higher Order Polymorphic Lambda Calculus

Journal of Symbolic Logic
PhilosophyLogic
1987English

Some Applications of Fractional Calculus to Operator Semigroups and Functional Calculus

2007English

Operators of Fractional Calculus and Their Applications

2019English

Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed Λ-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Calculus Rules for Combinations of Ellipsoids and Applications

Bulletin of the Australian Mathematical Society
Mathematics
1993English

Finite Element Exterior Calculus, Homological Techniques, and Applications

Acta Numerica
MathematicsNumerical Analysis
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy