392 search results - page 11 / 79 » An Algebraic Representation of Calendars |
EUSFLAT
2009
14 years 11 months ago
2009
115
Voted
CAGD
2010
14 years 11 months ago
2010
115
Voted
ENTCS
2010
14 years 11 months ago
2010
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
125
Voted
DISCO
1992
15 years 6 months ago
1992
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...
137
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...