392 search results - page 11 / 79 » An Algebraic Representation of Calendars |
EUSFLAT
2009
13 years 7 months ago
2009
CAGD
2010
13 years 7 months ago
2010
ENTCS
2010
13 years 7 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...
DISCO
1992
14 years 1 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...
CADE
2004
Springer
14 years 10 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...