Searching for "Representations of Calculi." – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems
- … representations of both the matrix characterizations and the sequent calculi for classical, intuitionistic…
- Cited by 9 (7 self) – Add To MetaCart
-
On Combinations of Binary Qualitative Constraint Calculi
- …, westpham}@(email omitted); Abstract Qualitative constraint calculi are representation formalisms…
- Add To MetaCart
-
A Linear Spine Calculus
- … #-#&# . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 ii 1 Introduction The internal representation of #-calculi, logics and type theories has a…
- Cited by 19 (4 self) – Add To MetaCart
-
Process Structures
- … structure arose from the combinatory representation of these calculi presented in [28, 29]: it also…
- Cited by 1 (0 self) – Add To MetaCart
-
Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract)
- … of -calculus representation of functional calculi, with type-theoretic background. Organisation of the paper…
- Cited by 4 (1 self) – Add To MetaCart
-
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars - A Case Study
- … of graph rewriting rules encodes the dynamics of such calculi, acting over the graphical representations…
- Cited by 7 (6 self) – Add To MetaCart
-
Fibring semantic tableaux
- …, and tableau rules are employed that operate on that binary representation. Such calculi—though they may…
- Cited by 9 (1 self) – Add To MetaCart
-
A Relational Approach To Optimization Problems
- … Representable Calculi \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta…
- Cited by 7 (0 self) – Add To MetaCart
-
Cyclic Lambda Calculi
- …: the representational calculus. 2.4 Sound and Complete Axiomatization of Scoped Lambda-graphs For all calculi developed…
- Cited by 30 (4 self) – Add To MetaCart
-
Minimality and Separation Results on Asynchronous Mobile Processes - Representability Theorems
- … then arises as to what are general methods to measure representability for -calculi, which would also…
- Cited by 12 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
