1071 search results - page 36 / 215 » The Calculus of Algebraic Constructions |
136
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
145
click to vote
IJAC
2007
15 years 5 months ago
2007
In this paper we produce a finite algebra which generates a variety with a PSPACE-complete membership problem. We produce another finite algebra with a γ function that grows exp...
119
Voted
IMA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we discuss the idea of block cipher embeddings and consider a natural algebraic framework for such constructions. In this approach we regard block cipher state spaces...
145
click to vote
TPHOL
1999
IEEE
15 years 9 months ago
1999
IEEE
We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. ...
187
click to vote
LOGCOM
2010
15 years 4 months ago
2010
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...